Test Result : PogBasicTest

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

All Tests

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