TestParallelParsing

1

tests

0

failures

0

ignored

19.480s

duration

100%

successful

Tests

Test Duration Result
testLoadingOfTwoDifferentProofFiles() 19.480s passed