| testCase[0 : IsExpTypeInfoNarrowed.vdmpp] | 0.16 sec | Passed |
| testCase[1 : IsExpNatFalse.vdmpp] | 33 ms | Passed |
| testCase[10 : IsExpNamedTypeInvariantUnionOfQuotes.vdmpp] | 77 ms | Passed |
| testCase[11 : IsExpTokenTrue.vdmpp] | 12 ms | Passed |
| testCase[12 : IsExpNatTrue.vdmpp] | 10 ms | Passed |
| testCase[13 : IsExp.vdmpp] | 0.1 sec | Passed |
| testCase[14 : IsExpNat1True.vdmpp] | 12 ms | Passed |
| testCase[15 : IsExpBoolFalse.vdmpp] | 9 ms | Passed |
| testCase[16 : IsExpNat1False.vdmpp] | 9 ms | Passed |
| testCase[17 : IsExpQuoteType.vdmpp] | 28 ms | Passed |
| testCase[18 : IsExpRatFalse.vdmpp] | 8 ms | Passed |
| testCase[19 : IsExpIntFalse.vdmpp] | 8 ms | Passed |
| testCase[2 : IsExpCharFalse.vdmpp] | 23 ms | Passed |
| testCase[20 : IsExpBoolTrue.vdmpp] | 8 ms | Passed |
| testCase[3 : IsExpIntTrue.vdmpp] | 17 ms | Passed |
| testCase[4 : IsExpTokenFalse.vdmpp] | 19 ms | Passed |
| testCase[5 : IsExpNatUnionBool.vdmpp] | 40 ms | Passed |
| testCase[6 : IsExpPolyType.vdmpp] | 0.34 sec | Passed |
| testCase[7 : IsExpRatTrue.vdmpp] | 23 ms | Passed |
| testCase[8 : IsExpCharTrue.vdmpp] | 11 ms | Passed |
| testCase[9 : IsExpNamedTypeInvariantRecursiveTypes.vdmpp] | 31 ms | Passed |
![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
