Test Result : PogBasicTest

0 failures (±0)
39 tests (±0)
Took 1.1 sec.

All Tests

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