test[0: src/test/resources/unsupported/AssignLetDefInSet.vdmpp] | 47 ms | Passed |
test[10: src/test/resources/unsupported/LetBeStStmTypeBind.vdmsl] | 2 ms | Passed |
test[11: src/test/resources/unsupported/LetDefInInstanceVar.vdmpp] | 4 ms | Passed |
test[12: src/test/resources/unsupported/LetDefInValue.vdmsl] | 6 ms | Passed |
test[13: src/test/resources/unsupported/MapCompInValue.vdmsl] | 25 ms | Passed |
test[14: src/test/resources/unsupported/MapCompTypeBind.vdmsl] | 9 ms | Passed |
test[15: src/test/resources/unsupported/MultipleInheritance.vdmpp] | 2.6 sec | Passed |
test[16: src/test/resources/unsupported/NonExecutableState.vdmsl] | 9 ms | Passed |
test[17: src/test/resources/unsupported/QuantExpInStateInit1.vdmsl] | 14 ms | Passed |
test[18: src/test/resources/unsupported/QuantExpInStateInit2.vdmsl] | 7 ms | Passed |
test[19: src/test/resources/unsupported/SeqCompInValue.vdmsl] | 6 ms | Passed |
test[1: src/test/resources/unsupported/Exists1AllExpTypeBind.vdmsl] | 51 ms | Passed |
test[20: src/test/resources/unsupported/SetCompInValue.vdmsl] | 3 ms | Passed |
test[21: src/test/resources/unsupported/SetCompTypeBind.vdmsl] | 6 ms | Passed |
test[22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp] | 7 ms | Passed |
test[2: src/test/resources/unsupported/Exists1InValue.vdmsl] | 5 ms | Passed |
test[3: src/test/resources/unsupported/ExistsAllExpTypeBind.vdmsl] | 13 ms | Passed |
test[4: src/test/resources/unsupported/ExistsInValue.vdmsl] | 6 ms | Passed |
test[5: src/test/resources/unsupported/ForAllExpInValue.vdmsl] | 17 ms | Passed |
test[6: src/test/resources/unsupported/ForAllExpTypeBind.vdmsl] | 2 ms | Passed |
test[7: src/test/resources/unsupported/ImplicitFuncInstantiation.vdmsl] | 59 ms | Passed |
test[8: src/test/resources/unsupported/LetBeStExpInValue.vdmsl] | 4 ms | Passed |
test[9: src/test/resources/unsupported/LetBeStExpTypeBind.vdmsl] | 7 ms | Passed |