Test Result : VarShadowingTest

0 failures
37 tests
Took 2.2 sec.

All Tests

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