TestProofStarter

2

tests

0

failures

0

ignored

1m1.72s

duration

100%

successful

Tests

Test Duration Result
testDirectProof() 29.231s passed
testDirectProofWithOneStepSimplification() 32.489s passed