Test Result : IsExpOutputTest

0 failures

21 tests

All Tests

Test name	Duration	Status
testCase[0 : IsExpTypeInfoNarrowed.vdmpp]	0.23 sec	Passed
testCase[1 : IsExpNatFalse.vdmpp]	72 ms	Passed
testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp]	0.11 sec	Passed
testCase[11 : IsExpTokenTrue.vdmpp]	14 ms	Passed
testCase[12 : IsExpNatTrue.vdmpp]	12 ms	Passed
testCase[13 : IsExp.vdmpp]	0.19 sec	Passed
testCase[14 : IsExpNat1True.vdmpp]	26 ms	Passed
testCase[15 : IsExpBoolFalse.vdmpp]	10 ms	Passed
testCase[16 : IsExpNat1False.vdmpp]	13 ms	Passed
testCase[17 : IsExpQuoteType.vdmpp]	34 ms	Passed
testCase[18 : IsExpRatFalse.vdmpp]	10 ms	Passed
testCase[19 : IsExpIntFalse.vdmpp]	10 ms	Passed
testCase[2 : IsExpCharFalse.vdmpp]	42 ms	Passed
testCase[20 : IsExpBoolTrue.vdmpp]	9 ms	Passed
testCase[3 : IsExpIntTrue.vdmpp]	36 ms	Passed
testCase[4 : IsExpTokenFalse.vdmpp]	57 ms	Passed
testCase[5 : IsExpNatUnionBool.vdmpp]	70 ms	Passed
testCase[6 : IsExpPolyType.vdmpp]	0.62 sec	Passed
testCase[7 : IsExpRatTrue.vdmpp]	43 ms	Passed
testCase[8 : IsExpCharTrue.vdmpp]	16 ms	Passed
testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp]	45 ms	Passed