TestProofStarter
|
100%
successful |
Tests
Test | Duration | Result |
---|---|---|
testDirectProof() | 22.795s | passed |
testDirectProofWithOneStepSimplification() | 24.244s | passed |
|
100%
successful |
Test | Duration | Result |
---|---|---|
testDirectProof() | 22.795s | passed |
testDirectProofWithOneStepSimplification() | 24.244s | passed |