Test Result : VarShadowingTest

0 failures (±0)
74 tests (±0)
Took 2.5 sec.

All Tests

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