Test Result : PogTypeIntegrityTest

0 failures (±0) , 168 skipped (±0)
168 tests (±0)
Took 0 ms.

All Tests

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