| testCase[0 : IsExpNatFalse.vdmpp] | 0.11 sec | Passed |
| testCase[0 : IsExpNatFalse.vdmpp] | 76 ms | Passed |
| testCase[0 : IsExpNatFalse.vdmpp] | 76 ms | Passed |
| testCase[0 : IsExpNatFalse.vdmpp] | 0.11 sec | Passed |
| testCase[1 : IsExpCharFalse.vdmpp] | 35 ms | Passed |
| testCase[1 : IsExpCharFalse.vdmpp] | 37 ms | Passed |
| testCase[1 : IsExpCharFalse.vdmpp] | 35 ms | Passed |
| testCase[1 : IsExpCharFalse.vdmpp] | 37 ms | Passed |
| testCase[10 : IsExpTokenTrue.vdmpp] | 11 ms | Passed |
| testCase[10 : IsExpTokenTrue.vdmpp] | 10 ms | Passed |
| testCase[10 : IsExpTokenTrue.vdmpp] | 11 ms | Passed |
| testCase[10 : IsExpTokenTrue.vdmpp] | 10 ms | Passed |
| testCase[11 : IsExpNatTrue.vdmpp] | 8 ms | Passed |
| testCase[11 : IsExpNatTrue.vdmpp] | 9 ms | Passed |
| testCase[11 : IsExpNatTrue.vdmpp] | 9 ms | Passed |
| testCase[11 : IsExpNatTrue.vdmpp] | 8 ms | Passed |
| testCase[12 : IsExp.vdmpp] | 0.12 sec | Passed |
| testCase[12 : IsExp.vdmpp] | 63 ms | Passed |
| testCase[12 : IsExp.vdmpp] | 63 ms | Passed |
| testCase[12 : IsExp.vdmpp] | 0.12 sec | Passed |
| testCase[13 : IsExpNat1True.vdmpp] | 19 ms | Passed |
| testCase[13 : IsExpNat1True.vdmpp] | 9 ms | Passed |
| testCase[13 : IsExpNat1True.vdmpp] | 9 ms | Passed |
| testCase[13 : IsExpNat1True.vdmpp] | 19 ms | Passed |
| testCase[14 : IsExpBoolFalse.vdmpp] | 9 ms | Passed |
| testCase[14 : IsExpBoolFalse.vdmpp] | 9 ms | Passed |
| testCase[14 : IsExpBoolFalse.vdmpp] | 14 ms | Passed |
| testCase[14 : IsExpBoolFalse.vdmpp] | 14 ms | Passed |
| testCase[15 : IsExpNat1False.vdmpp] | 14 ms | Passed |
| testCase[15 : IsExpNat1False.vdmpp] | 8 ms | Passed |
| testCase[15 : IsExpNat1False.vdmpp] | 8 ms | Passed |
| testCase[15 : IsExpNat1False.vdmpp] | 14 ms | Passed |
| testCase[16 : IsExpQuoteType.vdmpp] | 25 ms | Passed |
| testCase[16 : IsExpQuoteType.vdmpp] | 42 ms | Passed |
| testCase[16 : IsExpQuoteType.vdmpp] | 25 ms | Passed |
| testCase[16 : IsExpQuoteType.vdmpp] | 42 ms | Passed |
| testCase[17 : IsExpRatFalse.vdmpp] | 8 ms | Passed |
| testCase[17 : IsExpRatFalse.vdmpp] | 8 ms | Passed |
| testCase[17 : IsExpRatFalse.vdmpp] | 11 ms | Passed |
| testCase[17 : IsExpRatFalse.vdmpp] | 11 ms | Passed |
| testCase[18 : IsExpIntFalse.vdmpp] | 8 ms | Passed |
| testCase[18 : IsExpIntFalse.vdmpp] | 8 ms | Passed |
| testCase[18 : IsExpIntFalse.vdmpp] | 11 ms | Passed |
| testCase[18 : IsExpIntFalse.vdmpp] | 11 ms | Passed |
| testCase[19 : IsExpBoolTrue.vdmpp] | 7 ms | Passed |
| testCase[19 : IsExpBoolTrue.vdmpp] | 9 ms | Passed |
| testCase[19 : IsExpBoolTrue.vdmpp] | 9 ms | Passed |
| testCase[19 : IsExpBoolTrue.vdmpp] | 7 ms | Passed |
| testCase[2 : IsExpIntTrue.vdmpp] | 22 ms | Passed |
| testCase[2 : IsExpIntTrue.vdmpp] | 21 ms | Passed |
| testCase[2 : IsExpIntTrue.vdmpp] | 21 ms | Passed |
| testCase[2 : IsExpIntTrue.vdmpp] | 22 ms | Passed |
| testCase[3 : IsExpTokenFalse.vdmpp] | 30 ms | Passed |
| testCase[3 : IsExpTokenFalse.vdmpp] | 28 ms | Passed |
| testCase[3 : IsExpTokenFalse.vdmpp] | 30 ms | Passed |
| testCase[3 : IsExpTokenFalse.vdmpp] | 28 ms | Passed |
| testCase[4 : IsExpNatUnionBool.vdmpp] | 79 ms | Passed |
| testCase[4 : IsExpNatUnionBool.vdmpp] | 67 ms | Passed |
| testCase[4 : IsExpNatUnionBool.vdmpp] | 67 ms | Passed |
| testCase[4 : IsExpNatUnionBool.vdmpp] | 79 ms | Passed |
| testCase[5 : IsExpPolyType.vdmpp] | 0.25 sec | Passed |
| testCase[5 : IsExpPolyType.vdmpp] | 0.25 sec | Passed |
| testCase[5 : IsExpPolyType.vdmpp] | 0.22 sec | Passed |
| testCase[5 : IsExpPolyType.vdmpp] | 0.22 sec | Passed |
| testCase[6 : IsExpRatTrue.vdmpp] | 37 ms | Passed |
| testCase[6 : IsExpRatTrue.vdmpp] | 25 ms | Passed |
| testCase[6 : IsExpRatTrue.vdmpp] | 25 ms | Passed |
| testCase[6 : IsExpRatTrue.vdmpp] | 37 ms | Passed |
| testCase[7 : IsExpCharTrue.vdmpp] | 14 ms | Passed |
| testCase[7 : IsExpCharTrue.vdmpp] | 14 ms | Passed |
| testCase[7 : IsExpCharTrue.vdmpp] | 0.11 sec | Passed |
| testCase[7 : IsExpCharTrue.vdmpp] | 0.11 sec | Passed |
| testCase[8 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp] | 0.4 sec | Passed |
| testCase[8 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp] | 0.4 sec | Passed |
| testCase[8 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp] | 40 ms | Passed |
| testCase[8 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp] | 40 ms | Passed |
| testCase[9 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp] | 89 ms | Passed |
| testCase[9 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp] | 86 ms | Passed |
| testCase[9 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp] | 86 ms | Passed |
| testCase[9 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp] | 89 ms | Passed |
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
