Test Result : IsExpOutputTest

0 failures
84 tests
Took 11 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : IsExpTypeInfoNarrowed.vdmpp]0.33 secPassed
testCase[0 : IsExpTypeInfoNarrowed.vdmpp]0.33 secPassed
testCase[0 : IsExpTypeInfoNarrowed.vdmpp]0.44 secPassed
Install IDE / testCase[0 : IsExpTypeInfoNarrowed.vdmpp]0.44 secPassed
testCase[1 : IsExpNatFalse.vdmpp]0.13 secPassed
Install IDE / testCase[1 : IsExpNatFalse.vdmpp]0.1 secPassed
testCase[1 : IsExpNatFalse.vdmpp]0.1 secPassed
Package core / testCase[1 : IsExpNatFalse.vdmpp]0.13 secPassed
Package core / testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp]0.26 secPassed
Install IDE / testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp]0.28 secPassed
testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp]0.26 secPassed
testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp]0.28 secPassed
testCase[11 : IsExpTokenTrue.vdmpp]41 msPassed
Install IDE / testCase[11 : IsExpTokenTrue.vdmpp]41 msPassed
Package core / testCase[11 : IsExpTokenTrue.vdmpp]39 msPassed
testCase[11 : IsExpTokenTrue.vdmpp]39 msPassed
testCase[12 : IsExpNatTrue.vdmpp]42 msPassed
testCase[12 : IsExpNatTrue.vdmpp]23 msPassed
Install IDE / testCase[12 : IsExpNatTrue.vdmpp]23 msPassed
Package core / testCase[12 : IsExpNatTrue.vdmpp]42 msPassed
testCase[13 : IsExp.vdmpp]0.33 secPassed
testCase[13 : IsExp.vdmpp]0.28 secPassed
Install IDE / testCase[13 : IsExp.vdmpp]0.28 secPassed
Package core / testCase[13 : IsExp.vdmpp]0.33 secPassed
testCase[14 : IsExpNat1True.vdmpp]31 msPassed
testCase[14 : IsExpNat1True.vdmpp]60 msPassed
Install IDE / testCase[14 : IsExpNat1True.vdmpp]60 msPassed
Package core / testCase[14 : IsExpNat1True.vdmpp]31 msPassed
Install IDE / testCase[15 : IsExpBoolFalse.vdmpp]16 msPassed
Package core / testCase[15 : IsExpBoolFalse.vdmpp]27 msPassed
testCase[15 : IsExpBoolFalse.vdmpp]27 msPassed
testCase[15 : IsExpBoolFalse.vdmpp]16 msPassed
testCase[16 : IsExpNat1False.vdmpp]11 msPassed
Install IDE / testCase[16 : IsExpNat1False.vdmpp]31 msPassed
Package core / testCase[16 : IsExpNat1False.vdmpp]11 msPassed
testCase[16 : IsExpNat1False.vdmpp]31 msPassed
testCase[17 : IsExpQuoteType.vdmpp]0.1 secPassed
Install IDE / testCase[17 : IsExpQuoteType.vdmpp]0.1 secPassed
testCase[17 : IsExpQuoteType.vdmpp]57 msPassed
Package core / testCase[17 : IsExpQuoteType.vdmpp]57 msPassed
testCase[18 : IsExpRatFalse.vdmpp]13 msPassed
Install IDE / testCase[18 : IsExpRatFalse.vdmpp]0.12 secPassed
testCase[18 : IsExpRatFalse.vdmpp]0.12 secPassed
Package core / testCase[18 : IsExpRatFalse.vdmpp]13 msPassed
testCase[19 : IsExpIntFalse.vdmpp]20 msPassed
Package core / testCase[19 : IsExpIntFalse.vdmpp]15 msPassed
testCase[19 : IsExpIntFalse.vdmpp]15 msPassed
Install IDE / testCase[19 : IsExpIntFalse.vdmpp]20 msPassed
testCase[2 : IsExpCharFalse.vdmpp]99 msPassed
testCase[2 : IsExpCharFalse.vdmpp]87 msPassed
Package core / testCase[2 : IsExpCharFalse.vdmpp]99 msPassed
Install IDE / testCase[2 : IsExpCharFalse.vdmpp]87 msPassed
Package core / testCase[20 : IsExpBoolTrue.vdmpp]32 msPassed
Install IDE / testCase[20 : IsExpBoolTrue.vdmpp]21 msPassed
testCase[20 : IsExpBoolTrue.vdmpp]21 msPassed
testCase[20 : IsExpBoolTrue.vdmpp]32 msPassed
testCase[3 : IsExpIntTrue.vdmpp]66 msPassed
Install IDE / testCase[3 : IsExpIntTrue.vdmpp]50 msPassed
testCase[3 : IsExpIntTrue.vdmpp]50 msPassed
Package core / testCase[3 : IsExpIntTrue.vdmpp]66 msPassed
Install IDE / testCase[4 : IsExpTokenFalse.vdmpp]35 msPassed
testCase[4 : IsExpTokenFalse.vdmpp]35 msPassed
Package core / testCase[4 : IsExpTokenFalse.vdmpp]58 msPassed
testCase[4 : IsExpTokenFalse.vdmpp]58 msPassed
testCase[5 : IsExpNatUnionBool.vdmpp]0.12 secPassed
Package core / testCase[5 : IsExpNatUnionBool.vdmpp]0.13 secPassed
Install IDE / testCase[5 : IsExpNatUnionBool.vdmpp]0.12 secPassed
testCase[5 : IsExpNatUnionBool.vdmpp]0.13 secPassed
Package core / testCase[6 : IsExpPolyType.vdmpp]0.65 secPassed
Install IDE / testCase[6 : IsExpPolyType.vdmpp]0.93 secPassed
testCase[6 : IsExpPolyType.vdmpp]0.93 secPassed
testCase[6 : IsExpPolyType.vdmpp]0.65 secPassed
Install IDE / testCase[7 : IsExpRatTrue.vdmpp]73 msPassed
Package core / testCase[7 : IsExpRatTrue.vdmpp]52 msPassed
testCase[7 : IsExpRatTrue.vdmpp]52 msPassed
testCase[7 : IsExpRatTrue.vdmpp]73 msPassed
testCase[8 : IsExpCharTrue.vdmpp]27 msPassed
testCase[8 : IsExpCharTrue.vdmpp]31 msPassed
Package core / testCase[8 : IsExpCharTrue.vdmpp]31 msPassed
Install IDE / testCase[8 : IsExpCharTrue.vdmpp]27 msPassed
testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp]0.14 secPassed
testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp]70 msPassed
Package core / testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp]70 msPassed
Install IDE / testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp]0.14 secPassed