testCase[0 : IsExpTypeInfoNarrowed.vdmpp] | 37 ms | Passed |
testCase[1 : IsExpNatFalse.vdmpp] | 9 ms | Passed |
testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp] | 0.1 sec | Passed |
testCase[11 : IsExpTokenTrue.vdmpp] | 9 ms | Passed |
testCase[12 : IsExpNatTrue.vdmpp] | 7 ms | Passed |
testCase[13 : IsExp.vdmpp] | 48 ms | Passed |
testCase[14 : IsExpNat1True.vdmpp] | 7 ms | Passed |
testCase[15 : IsExpBoolFalse.vdmpp] | 5 ms | Passed |
testCase[16 : IsExpNat1False.vdmpp] | 6 ms | Passed |
testCase[17 : IsExpQuoteType.vdmpp] | 21 ms | Passed |
testCase[18 : IsExpRatFalse.vdmpp] | 6 ms | Passed |
testCase[19 : IsExpIntFalse.vdmpp] | 5 ms | Passed |
testCase[2 : IsExpCharFalse.vdmpp] | 9 ms | Passed |
testCase[20 : IsExpBoolTrue.vdmpp] | 6 ms | Passed |
testCase[3 : IsExpIntTrue.vdmpp] | 8 ms | Passed |
testCase[4 : IsExpTokenFalse.vdmpp] | 10 ms | Passed |
testCase[5 : IsExpNatUnionBool.vdmpp] | 23 ms | Passed |
testCase[6 : IsExpPolyType.vdmpp] | 0.17 sec | Passed |
testCase[7 : IsExpRatTrue.vdmpp] | 26 ms | Passed |
testCase[8 : IsExpCharTrue.vdmpp] | 23 ms | Passed |
testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp] | 53 ms | Passed |