TestProofStarter

2

tests

0

failures

0

ignored

43.425s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 21.698s passed
testDirectProofWithOneStepSimplification() 21.727s passed