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