TestProofStarter

2

tests

0

failures

0

ignored

48.738s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 22.468s passed
testDirectProofWithOneStepSimplification() 26.270s passed