| 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 |
![[Jenkins]](/jenkins/static/91315b4b/images/jenkins-header-logo-v2.svg){kind=logo}
