TestParallelParsing

1

tests

0

failures

0

ignored

13.381s

duration

100%

successful

Tests

Test Duration Result
testLoadingOfTwoDifferentProofFiles() 13.381s passed