Test Result : PogBasicTest

0 failures (±0)
156 tests (±0)
Took 7.5 sec.

All Tests

Test nameDurationStatus
testCase[0 : OpPostCondition_CallAsgnCall.vdmsl]1.1 secPassed
testCase[0 : OpPostCondition_CallAsgnCall.vdmsl]0.91 secPassed
testCase[0 : OpPostCondition_CallAsgnCall.vdmsl]0.91 secPassed
testCase[0 : OpPostCondition_CallAsgnCall.vdmsl]1.1 secPassed
testCase[1 : OpSat_PreStateResult.vdmsl]98 msPassed
testCase[1 : OpSat_PreStateResult.vdmsl]0.16 secPassed
testCase[1 : OpSat_PreStateResult.vdmsl]0.16 secPassed
testCase[1 : OpSat_PreStateResult.vdmsl]98 msPassed
testCase[10 : OpSat_PostOldVal.vdmsl]3 msPassed
testCase[10 : OpSat_PostOldVal.vdmsl]3 msPassed
testCase[10 : OpSat_PostOldVal.vdmsl]7 msPassed
testCase[10 : OpSat_PostOldVal.vdmsl]7 msPassed
testCase[11 : Ordered_Greater.vdmsl]7 msPassed
testCase[11 : Ordered_Greater.vdmsl]7 msPassed
testCase[11 : Ordered_Greater.vdmsl]4 msPassed
testCase[11 : Ordered_Greater.vdmsl]4 msPassed
testCase[12 : OpPostCondition_CallCall.vdmsl]6 msPassed
testCase[12 : OpPostCondition_CallCall.vdmsl]32 msPassed
testCase[12 : OpPostCondition_CallCall.vdmsl]6 msPassed
testCase[12 : OpPostCondition_CallCall.vdmsl]32 msPassed
testCase[13 : Ordered_LessEqual.vdmsl]11 msPassed
testCase[13 : Ordered_LessEqual.vdmsl]24 msPassed
testCase[13 : Ordered_LessEqual.vdmsl]11 msPassed
testCase[13 : Ordered_LessEqual.vdmsl]24 msPassed
testCase[14 : Satisfiability_ImpFunc.vdmsl]30 msPassed
testCase[14 : Satisfiability_ImpFunc.vdmsl]65 msPassed
testCase[14 : Satisfiability_ImpFunc.vdmsl]30 msPassed
testCase[14 : Satisfiability_ImpFunc.vdmsl]65 msPassed
testCase[15 : StateInv_Asgn.vdmsl]59 msPassed
testCase[15 : StateInv_Asgn.vdmsl]77 msPassed
testCase[15 : StateInv_Asgn.vdmsl]77 msPassed
testCase[15 : StateInv_Asgn.vdmsl]59 msPassed
testCase[16 : FuncPostCondition.vdmsl]12 msPassed
testCase[16 : FuncPostCondition.vdmsl]26 msPassed
testCase[16 : FuncPostCondition.vdmsl]26 msPassed
testCase[16 : FuncPostCondition.vdmsl]12 msPassed
testCase[17 : FunctionApply.vdmsl]62 msPassed
testCase[17 : FunctionApply.vdmsl]19 msPassed
testCase[17 : FunctionApply.vdmsl]62 msPassed
testCase[17 : FunctionApply.vdmsl]19 msPassed
testCase[18 : OpPostCondition_CallCallAsgn.vdmsl]13 msPassed
testCase[18 : OpPostCondition_CallCallAsgn.vdmsl]19 msPassed
testCase[18 : OpPostCondition_CallCallAsgn.vdmsl]13 msPassed
testCase[18 : OpPostCondition_CallCallAsgn.vdmsl]19 msPassed
testCase[19 : OpSat_Result.vdmsl]2 msPassed
testCase[19 : OpSat_Result.vdmsl]1 msPassed
testCase[19 : OpSat_Result.vdmsl]2 msPassed
testCase[19 : OpSat_Result.vdmsl]1 msPassed
testCase[2 : OpSat_Inv.vdmsl]33 msPassed
testCase[2 : OpSat_Inv.vdmsl]33 msPassed
testCase[2 : OpSat_Inv.vdmsl]41 msPassed
testCase[2 : OpSat_Inv.vdmsl]41 msPassed
testCase[20 : Satisfiability_ImpOp_Class.vdmpp]8 msPassed
testCase[20 : Satisfiability_ImpOp_Class.vdmpp]19 msPassed
testCase[20 : Satisfiability_ImpOp_Class.vdmpp]19 msPassed
testCase[20 : Satisfiability_ImpOp_Class.vdmpp]8 msPassed
testCase[21 : Ordered_GreaterEqual.vdmsl]14 msPassed
testCase[21 : Ordered_GreaterEqual.vdmsl]31 msPassed
testCase[21 : Ordered_GreaterEqual.vdmsl]31 msPassed
testCase[21 : Ordered_GreaterEqual.vdmsl]14 msPassed
testCase[22 : OpSat_State_Result.vdmsl]9 msPassed
testCase[22 : OpSat_State_Result.vdmsl]9 msPassed
testCase[22 : OpSat_State_Result.vdmsl]6 msPassed
testCase[22 : OpSat_State_Result.vdmsl]6 msPassed
testCase[23 : OpSat_State.vdmsl]1 msPassed
testCase[23 : OpSat_State.vdmsl]1 msPassed
testCase[23 : OpSat_State.vdmsl]6 msPassed
testCase[23 : OpSat_State.vdmsl]6 msPassed
testCase[24 : MapApply.vdmsl]19 msPassed
testCase[24 : MapApply.vdmsl]14 msPassed
testCase[24 : MapApply.vdmsl]19 msPassed
testCase[24 : MapApply.vdmsl]14 msPassed
testCase[25 : Subtype_Inv.vdmsl]33 msPassed
testCase[25 : Subtype_Inv.vdmsl]16 msPassed
testCase[25 : Subtype_Inv.vdmsl]16 msPassed
testCase[25 : Subtype_Inv.vdmsl]33 msPassed
testCase[26 : OpSat_FrameWr.vdmsl]1 msPassed
testCase[26 : OpSat_FrameWr.vdmsl]6 msPassed
testCase[26 : OpSat_FrameWr.vdmsl]1 msPassed
testCase[26 : OpSat_FrameWr.vdmsl]6 msPassed
testCase[27 : NonZero.vdmsl]16 msPassed
testCase[27 : NonZero.vdmsl]32 msPassed
testCase[27 : NonZero.vdmsl]32 msPassed
testCase[27 : NonZero.vdmsl]16 msPassed
testCase[28 : Ordered_Less.vdmsl]16 msPassed
testCase[28 : Ordered_Less.vdmsl]16 msPassed
testCase[28 : Ordered_Less.vdmsl]31 msPassed
testCase[28 : Ordered_Less.vdmsl]31 msPassed
testCase[29 : Ordered_Plus.vdmsl]4 msPassed
testCase[29 : Ordered_Plus.vdmsl]11 msPassed
testCase[29 : Ordered_Plus.vdmsl]4 msPassed
testCase[29 : Ordered_Plus.vdmsl]11 msPassed
testCase[3 : OpSat_FrameRd.vdmsl]9 msPassed
testCase[3 : OpSat_FrameRd.vdmsl]9 msPassed
testCase[3 : OpSat_FrameRd.vdmsl]24 msPassed
testCase[3 : OpSat_FrameRd.vdmsl]24 msPassed
testCase[30 : NonEmptySeq.vdmsl]16 msPassed
testCase[30 : NonEmptySeq.vdmsl]16 msPassed
testCase[30 : NonEmptySeq.vdmsl]58 msPassed
testCase[30 : NonEmptySeq.vdmsl]58 msPassed
testCase[31 : State_Inv_Sat.vdmpp]5 msPassed
testCase[31 : State_Inv_Sat.vdmpp]5 msPassed
testCase[31 : State_Inv_Sat.vdmpp]17 msPassed
testCase[31 : State_Inv_Sat.vdmpp]17 msPassed
testCase[32 : StrictOrder.vdmsl]8 msPassed
testCase[32 : StrictOrder.vdmsl]8 msPassed
testCase[32 : StrictOrder.vdmsl]10 msPassed
testCase[32 : StrictOrder.vdmsl]10 msPassed
testCase[33 : OpCall_Pre.vdmsl]1 msPassed
testCase[33 : OpCall_Pre.vdmsl]1 msPassed
testCase[33 : OpCall_Pre.vdmsl]7 msPassed
testCase[33 : OpCall_Pre.vdmsl]7 msPassed
testCase[34 : ExpOpCtxt_NoStateParams.vdmsl]3 msPassed
testCase[34 : ExpOpCtxt_NoStateParams.vdmsl]7 msPassed
testCase[34 : ExpOpCtxt_NoStateParams.vdmsl]7 msPassed
testCase[34 : ExpOpCtxt_NoStateParams.vdmsl]3 msPassed
testCase[35 : ExpOpCtxt_StateParams.vdmsl]21 msPassed
testCase[35 : ExpOpCtxt_StateParams.vdmsl]21 msPassed
testCase[35 : ExpOpCtxt_StateParams.vdmsl]20 msPassed
testCase[35 : ExpOpCtxt_StateParams.vdmsl]20 msPassed
testCase[36 : ExpOpCtxt_StateNoParams.vdmsl]1 msPassed
testCase[36 : ExpOpCtxt_StateNoParams.vdmsl]1 msPassed
testCase[36 : ExpOpCtxt_StateNoParams.vdmsl]1 msPassed
testCase[36 : ExpOpCtxt_StateNoParams.vdmsl]1 msPassed
testCase[37 : ImpOpCtxt_StateResultFrame.vdmsl]2 msPassed
testCase[37 : ImpOpCtxt_StateResultFrame.vdmsl]10 msPassed
testCase[37 : ImpOpCtxt_StateResultFrame.vdmsl]10 msPassed
testCase[37 : ImpOpCtxt_StateResultFrame.vdmsl]2 msPassed
testCase[38 : ImpOpCtxt_StateResultNoFrame.vdmsl]0 msPassed
testCase[38 : ImpOpCtxt_StateResultNoFrame.vdmsl]0 msPassed
testCase[38 : ImpOpCtxt_StateResultNoFrame.vdmsl]4 msPassed
testCase[38 : ImpOpCtxt_StateResultNoFrame.vdmsl]4 msPassed
testCase[4 : Equiv.vdmsl]31 msPassed
testCase[4 : Equiv.vdmsl]17 msPassed
testCase[4 : Equiv.vdmsl]17 msPassed
testCase[4 : Equiv.vdmsl]31 msPassed
testCase[5 : OpSat.vdmsl]2 msPassed
testCase[5 : OpSat.vdmsl]2 msPassed
testCase[5 : OpSat.vdmsl]3 msPassed
testCase[5 : OpSat.vdmsl]3 msPassed
testCase[6 : MapSeqofCompatible.vdmsl]21 msPassed
testCase[6 : MapSeqofCompatible.vdmsl]63 msPassed
testCase[6 : MapSeqofCompatible.vdmsl]21 msPassed
testCase[6 : MapSeqofCompatible.vdmsl]63 msPassed
testCase[7 : TupleSelection.vdmsl]29 msPassed
testCase[7 : TupleSelection.vdmsl]29 msPassed
testCase[7 : TupleSelection.vdmsl]16 msPassed
testCase[7 : TupleSelection.vdmsl]16 msPassed
testCase[8 : Type_Inv_Sat.vdmpp]62 msPassed
testCase[8 : Type_Inv_Sat.vdmpp]24 msPassed
testCase[8 : Type_Inv_Sat.vdmpp]62 msPassed
testCase[8 : Type_Inv_Sat.vdmpp]24 msPassed
testCase[9 : Ordered_Unions.vdmsl]91 msPassed
testCase[9 : Ordered_Unions.vdmsl]35 msPassed
testCase[9 : Ordered_Unions.vdmsl]35 msPassed
testCase[9 : Ordered_Unions.vdmsl]91 msPassed