test[0 : src/test/resources/var_shadowing_specs/CasesExpTuplePattern.vdmpp] | 0.99 sec | Passed |
test[1 : src/test/resources/var_shadowing_specs/CasesStmTuplePattern.vdmpp] | 73 ms | Passed |
test[10 : src/test/resources/var_shadowing_specs/GenUniqueNameLetStm.vdmpp] | 26 ms | Passed |
test[11 : src/test/resources/var_shadowing_specs/HideClassFields1.vdmpp] | 61 ms | Passed |
test[12 : src/test/resources/var_shadowing_specs/IdShadowingVarExp.vdmpp] | 18 ms | Passed |
test[13 : src/test/resources/var_shadowing_specs/IdStateDesignatorNestedBlocks.vdmpp] | 27 ms | Passed |
test[14 : src/test/resources/var_shadowing_specs/IdStateDesignatorSingleBlock.vdmpp] | 12 ms | Passed |
test[15 : src/test/resources/var_shadowing_specs/IotaExpPlus.vdmpp] | 40 ms | Passed |
test[16 : src/test/resources/var_shadowing_specs/LambdaInLet.vdmpp] | 40 ms | Passed |
test[17 : src/test/resources/var_shadowing_specs/LambdaParam.vdmpp] | 54 ms | Passed |
test[18 : src/test/resources/var_shadowing_specs/LetBeStExpNested.vdmpp] | 18 ms | Passed |
test[19 : src/test/resources/var_shadowing_specs/LetBeStStmCond.vdmpp] | 18 ms | Passed |
test[2 : src/test/resources/var_shadowing_specs/DefExp.vdmpp] | 46 ms | Passed |
test[20 : src/test/resources/var_shadowing_specs/LetBeStStmMultipleSetBind.vdmpp] | 19 ms | Passed |
test[21 : src/test/resources/var_shadowing_specs/LetBeStStmMultipleTypeBind.vdmpp] | 9 ms | Passed |
test[22 : src/test/resources/var_shadowing_specs/LetBeStTrace.vdmpp] | 34 ms | Passed |
test[23 : src/test/resources/var_shadowing_specs/LetBeStTraceMultipleTypeBind.vdmpp] | 12 ms | Passed |
test[24 : src/test/resources/var_shadowing_specs/LetStmCrossClassDependency.vdmpp] | 55 ms | Passed |
test[25 : src/test/resources/var_shadowing_specs/LetStmHidingAtSameScopeLevel.vdmpp] | 38 ms | Passed |
test[26 : src/test/resources/var_shadowing_specs/LetStmNested.vdmpp] | 43 ms | Passed |
test[27 : src/test/resources/var_shadowing_specs/LetStmTuplePatterns.vdmpp] | 23 ms | Passed |
test[28 : src/test/resources/var_shadowing_specs/LetStmVarHiddenMultipleTimes.vdmpp] | 15 ms | Passed |
test[29 : src/test/resources/var_shadowing_specs/LetVarHidesFuncParam.vdmpp] | 16 ms | Passed |
test[3 : src/test/resources/var_shadowing_specs/ExistsTwoMultipleSetBinds.vdmpp] | 0.16 sec | Passed |
test[30 : src/test/resources/var_shadowing_specs/LetVarHidesOpParam.vdmpp] | 31 ms | Passed |
test[31 : src/test/resources/var_shadowing_specs/MapCompTwoMultipleSetBinds.vdmpp] | 25 ms | Passed |
test[32 : src/test/resources/var_shadowing_specs/SetCompTwoMultipleSetBinds.vdmpp] | 27 ms | Passed |
test[33 : src/test/resources/var_shadowing_specs/StmBlockSimple.vdmpp] | 18 ms | Passed |
test[34 : src/test/resources/var_shadowing_specs/TixeStmTuplePattern.vdmpp] | 59 ms | Passed |
test[35 : src/test/resources/var_shadowing_specs/TrapStmTuplePattern.vdmpp] | 36 ms | Passed |
test[36 : src/test/resources/var_shadowing_specs/TuplePatternIdsShadowing.vdmpp] | 61 ms | Passed |
test[4 : src/test/resources/var_shadowing_specs/ForAllExpTwoMultipleBinds.vdmpp] | 37 ms | Passed |
test[5 : src/test/resources/var_shadowing_specs/ForAllExpTwoMultipleTypeBindsOneName.vdmpp] | 34 ms | Passed |
test[6 : src/test/resources/var_shadowing_specs/ForAllExpTwoMultipleTypeBindsTwoNames.vdmpp] | 31 ms | Passed |
test[7 : src/test/resources/var_shadowing_specs/ForAllStmTuplePattern.vdmpp] | 29 ms | Passed |
test[8 : src/test/resources/var_shadowing_specs/ForIndexLoopVar.vdmpp] | 13 ms | Passed |
test[9 : src/test/resources/var_shadowing_specs/ForPatternBindTuple.vdmpp] | 46 ms | Passed |