Test Result : VarShadowingTest

0 failures (±0)
37 tests (±0)
Took 1.4 sec.

All Tests

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