TestParallelParsing

1

tests

0

failures

0

ignored

11.954s

duration

100%

successful

Tests

Test Duration Result
testLoadingOfTwoDifferentProofFiles() 11.954s passed