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