Test Result : PogBasicTest

0 failures (±0)
78 tests (±0)
Took 1.5 sec.

All Tests

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