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