Test Result : VarShadowingTest

0 failures (±0)
74 tests (-74)
Took 2.9 sec.

All Tests

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