Test Result : NativeTests

0 failures (±0)
24 tests (±0)
Took 2 min 29 sec.

All Tests

Test nameDurationStatus
ExpressionBoolean5.9 secPassed
ExpressionCases5.1 secPassed
ExpressionComprehensions5.5 secPassed
ExpressionForLoop5.3 secPassed
ExpressionIs5.8 secPassed
ExpressionLet9.6 secPassed
ExpressionLetBeSt4.9 secPassed
ExpressionMap7.6 secPassed
ExpressionNumeric5.9 secPassed
ExpressionQuantifiers5.9 secPassed
ExpressionQuote6 secPassed
ExpressionRecord1.9 secPassed
ExpressionSelf5.4 secPassed
ExpressionSeq7 secPassed
ExpressionSetForCGTesting6.1 secPassed
ExpressionToken8.3 secPassed
NonDet5.4 secPassed
OOChecks6.2 secPassed
OtherCSVLib7.7 secPassed
OtherIOLib5.1 secPassed
OtherIgnoreVDMUnit6.5 secPassed
OtherMATHLib8.5 secPassed
RemoveRTConstructs5.2 secPassed
SubclassResponsibility7.4 secPassed