TestParallelParsing

1

tests

0

failures

0

ignored

12.281s

duration

100%

successful

Tests

Test Duration Result
testLoadingOfTwoDifferentProofFiles() 12.281s passed