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