TestProofStarter

2

tests

0

failures

0

ignored

44.450s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 21.574s passed
testDirectProofWithOneStepSimplification() 22.876s passed