Test Result : ExternalModulesSlTest

0 failures (±0) , 30 skipped (±0)
437 tests (±0)
Took 3 sec.

All Tests

Test nameDurationStatus
test[CORE/expr/applyexpr/fctapply/fctapply-01.vdm]5 msPassed
test[CORE/expr/applyexpr/fctapply/fctapply-02.vdm]6 msPassed
test[CORE/expr/applyexpr/mapseqapply/mapseqapply-01.vdm]7 msPassed
test[CORE/expr/applyexpr/mapseqapply/mapseqapply-02.vdm]4 msPassed
test[CORE/expr/applyexpr/unionapply/union-01.vdm]6 msPassed
test[CORE/expr/binaryexpr/binary-01.vdm]4 msPassed
test[CORE/expr/binaryexpr/binary-02.vdm]12 msPassed
test[CORE/expr/binaryexpr/binary-03.vdm]12 msPassed
test[CORE/expr/binaryexpr/binary-04.vdm]0 msSkipped
test[CORE/expr/binaryexpr/binary-05.vdm]8 msPassed
test[CORE/expr/binaryexpr/binary-06.vdm]32 msPassed
test[CORE/expr/binaryexpr/binary-07.vdm]15 msPassed
test[CORE/expr/binaryexpr/binary-08.vdm]4 msPassed
test[CORE/expr/binaryexpr/binary-09.vdm]5 msPassed
test[CORE/expr/binaryexpr/binary-10.vdm]13 msPassed
test[CORE/expr/binaryexpr/binary-11.vdm]2 msPassed
test[CORE/expr/binaryexpr/binary-12.vdm]7 msPassed
test[CORE/expr/binaryexpr/binary-13.vdm]8 msPassed
test[CORE/expr/binaryexpr/binary-14.vdm]3 msPassed
test[CORE/expr/binaryexpr/binary-15.vdm]3 msPassed
test[CORE/expr/binaryexpr/binary-16.vdm]3 msPassed
test[CORE/expr/bracketedexpr/bracketedexpr-01.vdm]3 msPassed
test[CORE/expr/casesexpr/casesexpr-01.vdm]13 msPassed
test[CORE/expr/casesexpr/casesexpr-02.vdm]4 msPassed
test[CORE/expr/casesexpr/casesexpr-03.vdm]3 msPassed
test[CORE/expr/casesexpr/casesexpr-04.vdm]3 msPassed
test[CORE/expr/casesexpr/casesexpr-05.vdm]5 msPassed
test[CORE/expr/casesexpr/casesexpr-06.vdm]4 msPassed
test[CORE/expr/casesexpr/casesexpr-07.vdm]2 msPassed
test[CORE/expr/defexpr/defexpr-01.vdm]3 msPassed
test[CORE/expr/defexpr/defexpr-02.vdm]5 msPassed
test[CORE/expr/defexpr/defexpr-03.vdm]11 msPassed
test[CORE/expr/fcttypeinst/fcttypeinst-01.vdm]3 msPassed
test[CORE/expr/fcttypeinst/fcttypeinst-02.vdm]12 msPassed
test[CORE/expr/fcttypeinst/fcttypeinst-03.vdm]5 msPassed
test[CORE/expr/fcttypeinst/fcttypeinst-04.vdm]4 msPassed
test[CORE/expr/fcttypeinst/fcttypeinst-05.vdm]4 msPassed
test[CORE/expr/fieldselect/fieldselect-01.vdm]9 msPassed
test[CORE/expr/fieldselect/fieldselect-02.vdm]3 msPassed
test[CORE/expr/ifexpr/ifexpr-01.vdm]7 msPassed
test[CORE/expr/ifexpr/ifexpr-02.vdm]5 msPassed
test[CORE/expr/ifexpr/ifexpr-03.vdm]5 msPassed
test[CORE/expr/ifexpr/ifexpr-04.vdm]3 msPassed
test[CORE/expr/iota/iota-01.vdm]3 msPassed
test[CORE/expr/iota/iota-02.vdm]9 msPassed
test[CORE/expr/iota/iota-03.vdm]2 msPassed
test[CORE/expr/iota/iota-04.vdm]3 msPassed
test[CORE/expr/iota/iota-05.vdm]4 msPassed
test[CORE/expr/iota/iota-06.vdm]2 msPassed
test[CORE/expr/iota/iota-07.vdm]3 msPassed
test[CORE/expr/isexpr/isexpr-01.vdm]35 msPassed
test[CORE/expr/lambda/lambda-01.vdm]3 msPassed
test[CORE/expr/lambda/lambda-02.vdm]5 msPassed
test[CORE/expr/lambda/lambda-03.vdm]5 msPassed
test[CORE/expr/lambda/lambda-04.vdm]3 msPassed
test[CORE/expr/lambda/lambda-05.vdm]3 msPassed
test[CORE/expr/lambda/lambda-06.vdm]3 msPassed
test[CORE/expr/letbeexpr/letbeexpr-01.vdm]4 msPassed
test[CORE/expr/letbeexpr/letbeexpr-02.vdm]9 msPassed
test[CORE/expr/letbeexpr/letbeexpr-03.vdm]3 msPassed
test[CORE/expr/letbeexpr/letbeexpr-04.vdm]3 msPassed
test[CORE/expr/letbeexpr/letbeexpr-05.vdm]3 msPassed
test[CORE/expr/letbeexpr/letbeexpr-06.vdm]2 msPassed
test[CORE/expr/letbeexpr/letbeexpr-07.vdm]3 msPassed
test[CORE/expr/letbeexpr/letbeexpr-08.vdm]6 msPassed
test[CORE/expr/letbeexpr/letbeexpr-09.vdm]3 msPassed
test[CORE/expr/letexpr/letexpr-01.vdm]15 msPassed
test[CORE/expr/letexpr/letexpr-02.vdm]4 msPassed
test[CORE/expr/letexpr/letexpr-03.vdm]4 msPassed
test[CORE/expr/letexpr/letexpr-04.vdm]3 msPassed
test[CORE/expr/letexpr/letexpr-05.vdm]2 msPassed
test[CORE/expr/letexpr/letexpr-06.vdm]3 msPassed
test[CORE/expr/letexpr/letexpr-07.vdm]5 msPassed
test[CORE/expr/letexpr/letexpr-08.vdm]3 msPassed
test[CORE/expr/letexpr/letexpr-09.vdm]3 msPassed
test[CORE/expr/literals/literals-01.vdm]2 msPassed
test[CORE/expr/literals/literals-02.vdm]3 msPassed
test[CORE/expr/mapcomp/mapcomp-01.vdm]11 msPassed
test[CORE/expr/mapcomp/mapcomp-02.vdm]4 msPassed
test[CORE/expr/mapcomp/mapcomp-03.vdm]4 msPassed
test[CORE/expr/mapcomp/mapcomp-05.vdm]5 msPassed
test[CORE/expr/mapcomp/mapcomp-06.vdm]3 msPassed
test[CORE/expr/mapenum/mapenum-01.vdm]5 msPassed
test[CORE/expr/mapenum/mapenum-02.vdm]3 msPassed
test[CORE/expr/mapinvers/mapinvers-01.vdm]4 msPassed
test[CORE/expr/mapinvers/mapinvers-02.vdm]5 msPassed
test[CORE/expr/mapoverride/mapoverride-01.vdm]9 msPassed
test[CORE/expr/precondapply/precondapply-01.vdm]3 msPassed
test[CORE/expr/precondapply/precondapply-02.vdm]2 msPassed
test[CORE/expr/precondapply/precondapply-03.vdm]5 msPassed
test[CORE/expr/precondapply/precondapply-04.vdm]3 msPassed
test[CORE/expr/precondapply/precondapply-05.vdm]4 msPassed
test[CORE/expr/precondapply/precondapply-06.vdm]4 msPassed
test[CORE/expr/precondapply/precondapply-07.vdm]4 msPassed
test[CORE/expr/precondapply/precondapply-08.vdm]4 msPassed
test[CORE/expr/precondapply/precondapply-09.vdm]3 msPassed
test[CORE/expr/quantexpr/quantexpr-01.vdm]8 msPassed
test[CORE/expr/quantexpr/quantexpr-02.vdm]9 msPassed
test[CORE/expr/quantexpr/quantexpr-03.vdm]9 msPassed
test[CORE/expr/quantexpr/quantexpr-04.vdm]8 msPassed
test[CORE/expr/quantexpr/quantexpr-05.vdm]2 msPassed
test[CORE/expr/quantexpr/quantexpr-06.vdm]2 msPassed
test[CORE/expr/recmodify/recmodify-01.vdm]5 msPassed
test[CORE/expr/recmodify/recmodify-02.vdm]5 msPassed
test[CORE/expr/recmodify/recmodify-03.vdm]3 msPassed
test[CORE/expr/recmodify/recmodify-04.vdm]4 msPassed
test[CORE/expr/recmodify/recmodify-05.vdm]3 msPassed
test[CORE/expr/recmodify/recmodify-06.vdm]0 msSkipped
test[CORE/expr/recmodify/recmodify-07.vdm]3 msPassed
test[CORE/expr/recmodify/recmodify-08.vdm]0 msSkipped
test[CORE/expr/recmodify/recmodify-09.vdm]3 msPassed
test[CORE/expr/recmodify/recmodify-10.vdm]3 msPassed
test[CORE/expr/recmodify/recmodify-11.vdm]4 msPassed
test[CORE/expr/recmodify/recmodify-12.vdm]4 msPassed
test[CORE/expr/recordexpr/recordexpr-01.vdm]0 msSkipped
test[CORE/expr/recordexpr/recordexpr-02.vdm]4 msPassed
test[CORE/expr/recordexpr/recordexpr-03.vdm]3 msPassed
test[CORE/expr/recordexpr/recordexpr-04.vdm]4 msPassed
test[CORE/expr/recordexpr/recordexpr-05.vdm]0 msSkipped
test[CORE/expr/recordexpr/recordexpr-06.vdm]0 msSkipped
test[CORE/expr/recordexpr/recordexpr-07.vdm]0 msSkipped
test[CORE/expr/recordexpr/recordexpr-08.vdm]0 msSkipped
test[CORE/expr/recordexpr/recordexpr-09.vdm]2 msPassed
test[CORE/expr/recordexpr/recordexpr-10.vdm]3 msPassed
test[CORE/expr/recordexpr/recordexpr-11.vdm]3 msPassed
test[CORE/expr/recordexpr/recordexpr-12.vdm]3 msPassed
test[CORE/expr/seqcomp/seqcomp-01.vdm]4 msPassed
test[CORE/expr/seqcomp/seqcomp-02.vdm]4 msPassed
test[CORE/expr/seqcomp/seqcomp-03.vdm]3 msPassed
test[CORE/expr/seqenum/seqenum-01.vdm]4 msPassed
test[CORE/expr/seqmod/seqmod-01.vdm]2 msPassed
test[CORE/expr/seqoverride/seqoverride-01.vdm]6 msPassed
test[CORE/expr/seqoverride/seqoverride-02.vdm]4 msPassed
test[CORE/expr/seqoverride/seqoverride-03.vdm]3 msPassed
test[CORE/expr/seqoverride/seqoverride-04.vdm]3 msPassed
test[CORE/expr/setcomp/setcomp-01.vdm]15 msPassed
test[CORE/expr/setcomp/setcomp-02.vdm]2 msPassed
test[CORE/expr/setcomp/setcomp-03.vdm]7 msPassed
test[CORE/expr/setcomp/setcomp-04.vdm]7 msPassed
test[CORE/expr/setcomp/setcomp-05.vdm]8 msPassed
test[CORE/expr/setcomp/setcomp-06.vdm]3 msPassed
test[CORE/expr/setcomp/setcomp-07.vdm]3 msPassed
test[CORE/expr/setcomp/setcomp-08.vdm]4 msPassed
test[CORE/expr/setcomp/setcomp-09.vdm]4 msPassed
test[CORE/expr/setenum/setenum-01.vdm]6 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-01.vdm]6 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-02.vdm]3 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-03.vdm]3 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-04.vdm]7 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-05.vdm]15 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-06.vdm]0.34 secPassed
test[CORE/expr/setpowerexpr/setpowerexpr-07.vdm]2 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-08.vdm]5 msPassed
test[CORE/expr/setpowerexpr/setpowerexpr-09.vdm]32 msPassed
test[CORE/expr/setrange/setrange-01.vdm]3 msPassed
test[CORE/expr/setrange/setrange-02.vdm]3 msPassed
test[CORE/expr/setrange/setrange-03.vdm]2 msPassed
test[CORE/expr/setrange/setrange-04.vdm]6 msPassed
test[CORE/expr/setrange/setrange-05.vdm]4 msPassed
test[CORE/expr/subseq/subseq-01.vdm]4 msPassed
test[CORE/expr/subseq/subseq-02.vdm]3 msPassed
test[CORE/expr/subseq/subseq-03.vdm]3 msPassed
test[CORE/expr/subseq/subseq-04.vdm]3 msPassed
test[CORE/expr/subseq/subseq-05.vdm]6 msPassed
test[CORE/expr/subseq/subseq-06.vdm]3 msPassed
test[CORE/expr/tokenconst/tokenconst-01.vdm]5 msPassed
test[CORE/expr/tupleexpr/tupleexpr-01.vdm]3 msPassed
test[CORE/expr/tupleselect/tupleselect-01.vdm]2 msPassed
test[CORE/expr/tupleselect/tupleselect-02.vdm]2 msPassed
test[CORE/expr/tupleselect/tupleselect-03.vdm]0 msSkipped
test[CORE/expr/typejudgement/typejudgement-01.vdm]3 msPassed
test[CORE/expr/typejudgement/typejudgement-02.vdm]3 msPassed
test[CORE/expr/typejudgement/typejudgement-03.vdm]3 msPassed
test[CORE/expr/unaryexpr/unaryexpr-01.vdm]10 msPassed
test[CORE/expr/unaryexpr/unaryexpr-02.vdm]10 msPassed
test[CORE/expr/unaryexpr/unaryexpr-03.vdm]12 msPassed
test[CORE/expr/unaryexpr/unaryexpr-04.vdm]10 msPassed
test[CORE/expr/unaryexpr/unaryexpr-05.vdm]3 msPassed
test[CORE/expr/unaryexpr/unaryexpr-06.vdm]4 msPassed
test[CORE/expr/unaryexpr/unaryexpr-07.vdm]4 msPassed
test[CORE/expr/unaryexpr/unaryexpr-09.vdm]2 msPassed
test[CORE/expr/unaryexpr/unaryexpr-10.vdm]3 msPassed
test[CORE/expr/unaryexpr/unaryexpr-11.vdm]5 msPassed
test[CORE/expr/undefined/undefined-01.vdm]3 msPassed
test[CORE/extexplfunc/extexplfunc-01.vdm]20 msPassed
test[CORE/extexplfunc/extexplfunc-02.vdm]8 msPassed
test[CORE/extexplfunc/extexplfunc-03.vdm]5 msPassed
test[CORE/functions/functions-01.vdm]13 msPassed
test[CORE/functions/functions-02.vdm]12 msPassed
test[CORE/functions/functions-03.vdm]8 msPassed
test[CORE/functions/functions-04.vdm]4 msPassed
test[CORE/functions/functions-05.vdm]9 msPassed
test[CORE/functions/functions-06.vdm]4 msPassed
test[CORE/functions/functions-07.vdm]4 msPassed
test[CORE/functions/functions-08.vdm]10 msPassed
test[CORE/functions/functions-09.vdm]6 msPassed
test[CORE/functions/functions-10.vdm]6 msPassed
test[CORE/functions/functions-11.vdm]4 msPassed
test[CORE/functions/functions-12.vdm]0 msSkipped
test[CORE/functions/functions-13.vdm]6 msPassed
test[CORE/functions/functions-14.vdm]10 msPassed
test[CORE/functions/functions-15.vdm]8 msPassed
test[CORE/functions/functions-16.vdm]5 msPassed
test[CORE/functions/functions-17.vdm]9 msPassed
test[CORE/functions/functions-18.vdm]11 msPassed
test[CORE/functions/functions-19.vdm]0 msSkipped
test[CORE/functions/functions-20.vdm]11 msPassed
test[CORE/numbers/numbers-01.vdm]12 msPassed
test[CORE/numbers/numbers-02.vdm]7 msPassed
test[CORE/operations/operations-04.vdm]6 msPassed
test[CORE/operations/operations-05.vdm]3 msPassed
test[CORE/operations/operations-06.vdm]3 msPassed
test[CORE/operations/operations-11.vdm]9 msPassed
test[CORE/operations/operations-12.vdm]4 msPassed
test[CORE/operations/operations-14.vdm]4 msPassed
test[CORE/patmat/patmat-01.vdm]10 msPassed
test[CORE/patmat/patmat-02.vdm]9 msPassed
test[CORE/patmat/patmat-03.vdm]10 msPassed
test[CORE/patmat/patmat-04.vdm]8 msPassed
test[CORE/patmat/patmat-05.vdm]9 msPassed
test[CORE/patmat/patmat-06.vdm]13 msPassed
test[CORE/patmat/patmat-07.vdm]8 msPassed
test[CORE/patmat/patmat-08.vdm]8 msPassed
test[CORE/patmat/patmat-09.vdm]5 msPassed
test[CORE/patmat/patmat-10.vdm]8 msPassed
test[CORE/patmat/patmat-11.vdm]4 msPassed
test[CORE/patmat/patmat-12.vdm]10 msPassed
test[CORE/patmat/patmat-13.vdm]6 msPassed
test[CORE/patmat/patmat-14.vdm]19 msPassed
test[CORE/patmat/patmat-15.vdm]11 msPassed
test[CORE/patmat/patmat-16.vdm]11 msPassed
test[CORE/patmat/patmat-17.vdm]0 msSkipped
test[CORE/stmt/assignstmt/assignstmt-01.vdm]8 msPassed
test[CORE/stmt/assignstmt/assignstmt-02.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-03.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-04.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-05.vdm]5 msPassed
test[CORE/stmt/assignstmt/assignstmt-06.vdm]2 msPassed
test[CORE/stmt/assignstmt/assignstmt-07.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-08.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-09.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-10.vdm]5 msPassed
test[CORE/stmt/assignstmt/assignstmt-11.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-12.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-13.vdm]4 msPassed
test[CORE/stmt/assignstmt/assignstmt-14.vdm]5 msPassed
test[CORE/stmt/assignstmt/assignstmt-15.vdm]4 msPassed
test[CORE/stmt/assignstmt/assignstmt-16.vdm]6 msPassed
test[CORE/stmt/assignstmt/assignstmt-17.vdm]6 msPassed
test[CORE/stmt/assignstmt/assignstmt-18.vdm]5 msPassed
test[CORE/stmt/assignstmt/assignstmt-19.vdm]2 msPassed
test[CORE/stmt/assignstmt/assignstmt-20.vdm]7 msPassed
test[CORE/stmt/assignstmt/assignstmt-21.vdm]0 msSkipped
test[CORE/stmt/assignstmt/assignstmt-22.vdm]0 msSkipped
test[CORE/stmt/assignstmt/assignstmt-23.vdm]2 msPassed
test[CORE/stmt/assignstmt/assignstmt-24.vdm]4 msPassed
test[CORE/stmt/assignstmt/assignstmt-25.vdm]3 msPassed
test[CORE/stmt/assignstmt/assignstmt-30.vdm]2 msPassed
test[CORE/stmt/atomic/atomic-01.vdm]3 msPassed
test[CORE/stmt/blockstmt/blockstmt-01.vdm]6 msPassed
test[CORE/stmt/blockstmt/blockstmt-02.vdm]2 msPassed
test[CORE/stmt/blockstmt/blockstmt-03.vdm]2 msPassed
test[CORE/stmt/casesstmt/casesstmt-01.vdm]0 msSkipped
test[CORE/stmt/casesstmt/casesstmt-02.vdm]9 msPassed
test[CORE/stmt/casesstmt/casesstmt-03.vdm]5 msPassed
test[CORE/stmt/casesstmt/casesstmt-04.vdm]0 msSkipped
test[CORE/stmt/casesstmt/casesstmt-05.vdm]0 msSkipped
test[CORE/stmt/casesstmt/casesstmt-06.vdm]6 msPassed
test[CORE/stmt/defstmt/defstmt-01.vdm]2 msPassed
test[CORE/stmt/defstmt/defstmt-02.vdm]8 msPassed
test[CORE/stmt/defstmt/defstmt-03.vdm]11 msPassed
test[CORE/stmt/defstmt/defstmt-04.vdm]6 msPassed
test[CORE/stmt/error/error-01.vdm]2 msPassed
test[CORE/stmt/exception/exception-01.vdm]7 msPassed
test[CORE/stmt/exception/exception-02.vdm]6 msPassed
test[CORE/stmt/exception/exception-03.vdm]6 msPassed
test[CORE/stmt/exception/exception-04.vdm]7 msPassed
test[CORE/stmt/exception/exception-05.vdm]6 msPassed
test[CORE/stmt/exception/exception-06.vdm]9 msPassed
test[CORE/stmt/exception/exception-07.vdm]0 msSkipped
test[CORE/stmt/exception/exception-08.vdm]7 msPassed
test[CORE/stmt/exception/exception-09.vdm]0 msSkipped
test[CORE/stmt/exception/exception-10.vdm]3 msPassed
test[CORE/stmt/ifstmt/ifstmt-01.vdm]0 msSkipped
test[CORE/stmt/ifstmt/ifstmt-02.vdm]3 msPassed
test[CORE/stmt/ifstmt/ifstmt-03.vdm]2 msPassed
test[CORE/stmt/ifstmt/ifstmt-04.vdm]2 msPassed
test[CORE/stmt/ifstmt/ifstmt-05.vdm]3 msPassed
test[CORE/stmt/ifstmt/ifstmt-06.vdm]2 msPassed
test[CORE/stmt/indexloop/indexloop-01.vdm]3 msPassed
test[CORE/stmt/indexloop/indexloop-02.vdm]3 msPassed
test[CORE/stmt/indexloop/indexloop-03.vdm]3 msPassed
test[CORE/stmt/indexloop/indexloop-04.vdm]2 msPassed
test[CORE/stmt/indexloop/indexloop-05.vdm]2 msPassed
test[CORE/stmt/indexloop/indexloop-06.vdm]2 msPassed
test[CORE/stmt/indexloop/indexloop-07.vdm]3 msPassed
test[CORE/stmt/indexloop/indexloop-08.vdm]3 msPassed
test[CORE/stmt/indexloop/indexloop-09.vdm]2 msPassed
test[CORE/stmt/indexloop/indexloop-10.vdm]2 msPassed
test[CORE/stmt/letbestmt/letbestmt-01.vdm]5 msPassed
test[CORE/stmt/letbestmt/letbestmt-02.vdm]11 msPassed
test[CORE/stmt/letbestmt/letbestmt-03.vdm]4 msPassed
test[CORE/stmt/letbestmt/letbestmt-04.vdm]3 msPassed
test[CORE/stmt/letbestmt/letbestmt-05.vdm]4 msPassed
test[CORE/stmt/letbestmt/letbestmt-06.vdm]2 msPassed
test[CORE/stmt/letstmt/letstmt-01.vdm]14 msPassed
test[CORE/stmt/letstmt/letstmt-02.vdm]3 msPassed
test[CORE/stmt/nondet/nondet-01.vdm]3 msPassed
test[CORE/stmt/nondet/nondet-02.vdm]8 msPassed
test[CORE/stmt/returnstmt/returnstmt-01.vdm]2 msPassed
test[CORE/stmt/returnstmt/returnstmt-02.vdm]2 msPassed
test[CORE/stmt/returnstmt/returnstmt-03.vdm]4 msPassed
test[CORE/stmt/returnstmt/returnstmt-04.vdm]3 msPassed
test[CORE/stmt/returnstmt/returnstmt-05.vdm]3 msPassed
test[CORE/stmt/returnstmt/returnstmt-06.vdm]0 msSkipped
test[CORE/stmt/seqloop/seqloop-01.vdm]4 msPassed
test[CORE/stmt/seqloop/seqloop-02.vdm]17 msPassed
test[CORE/stmt/seqloop/seqloop-03.vdm]3 msPassed
test[CORE/stmt/seqloop/seqloop-04.vdm]3 msPassed
test[CORE/stmt/seqloop/seqloop-05.vdm]4 msPassed
test[CORE/stmt/seqloop/seqloop-06.vdm]5 msPassed
test[CORE/stmt/setloop/setloop-01.vdm]3 msPassed
test[CORE/stmt/setloop/setloop-02.vdm]13 msPassed
test[CORE/stmt/setloop/setloop-03.vdm]5 msPassed
test[CORE/stmt/setloop/setloop-04.vdm]3 msPassed
test[CORE/stmt/setloop/setloop-05.vdm]4 msPassed
test[CORE/stmt/simple-assignstmt/assignstmt-01.vdm]2 msPassed
test[CORE/stmt/simple-assignstmt/assignstmt-02.vdm]3 msPassed
test[CORE/stmt/simple-assignstmt/assignstmt-03.vdm]3 msPassed
test[CORE/stmt/simple-assignstmt/assignstmt-04.vdm]3 msPassed
test[CORE/stmt/simple-assignstmt/assignstmt-05.vdm]0 msSkipped
test[CORE/stmt/simple-assignstmt/assignstmt-06.vdm]3 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-01.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-02.vdm]3 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-03.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-04.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-06.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-07.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-08.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-10.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-11.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-12.vdm]3 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-13.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-14.vdm]2 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-16.vdm]1 msPassed
test[CORE/stmt/simple-blockstmt/blockstmt-17.vdm]2 msPassed
test[CORE/stmt/simple-exception/exception-01.vdm]3 msPassed
test[CORE/stmt/simple-exception/exception-02.vdm]3 msPassed
test[CORE/stmt/simple-exception/exception-03.vdm]2 msPassed
test[CORE/stmt/simple-exception/exception-04.vdm]4 msPassed
test[CORE/stmt/simple-exception/exception-05.vdm]2 msPassed
test[CORE/stmt/simple-exception/exception-06.vdm]3 msPassed
test[CORE/stmt/simple-exception/exception-07.vdm]3 msPassed
test[CORE/stmt/simple-exception/exception-08.vdm]3 msPassed
test[CORE/stmt/whileloop/whileloop-01.vdm]5 msPassed
test[CORE/strings/strings-01.vdm]0.39 secPassed
test[CORE/types/types-01.vdm]10 msPassed
test[CORE/types/types-03.vdm]7 msPassed
test[CORE/types/types-04.vdm]0 msSkipped
test[CORE/types/types-05.vdm]9 msPassed
test[CORE/types/types-06.vdm]0 msSkipped
test[CORE/types/types-07.vdm]7 msPassed
test[CORE/types/types-08.vdm]7 msPassed
test[CORE/types/types-09.vdm]19 msPassed
test[CORE/types/types-10.vdm]0 msSkipped
test[CORE/types/types-11.vdm]9 msPassed
test[CORE/types/types-12.vdm]8 msPassed
test[CORE/types/types-13.vdm]13 msPassed
test[CORE/types/types-14.vdm]11 msPassed
test[CORE/values/values-01.vdm]9 msPassed
test[CORE/values/values-02.vdm]6 msPassed
test[CORE/values/values-03.vdm]10 msPassed
test[CORE/values/values-04.vdm]12 msPassed
test[IMPL/SL/expr/fcttypeinst/fcttypeinst-01.vdm]0 msSkipped
test[IMPL/SL/types/types-01.vdm]16 msPassed
test[IMPL/SL/types/types-02.vdm]29 msPassed
test[IMPL/SL/types/types-03.vdm]6 msPassed
test[SL/expr/letexpr/letexpr-01.vdm]2 msPassed
test[SL/expr/letexpr/letexpr-02.vdm]3 msPassed
test[SL/expr/letexpr/letexpr-03.vdm]3 msPassed
test[SL/expr/letexpr/letexpr-04.vdm]3 msPassed
test[SL/expr/oldname/oldname-01.vdm]5 msPassed
test[SL/expr/oldname/oldname-02.vdm]3 msPassed
test[SL/expr/recordexpr/recordexpr-01.vdm]9 msPassed
test[SL/expr/recordexpr/recordexpr-02.vdm]10 msPassed
test[SL/expr/recordexpr/recordexpr-03.vdm]3 msPassed
test[SL/fctcall-mods/fctcall-mods-01.vdm]0 msSkipped
test[SL/fctcall-mods/fctcall-mods-02.vdm]5 msPassed
test[SL/modules/modules-01.vdm]21 msPassed
test[SL/modules/modules-02.vdm]39 msPassed
test[SL/modules/modules-03.vdm]12 msPassed
test[SL/modules/modules-04.vdm]12 msPassed
test[SL/modules/modules-05.vdm]11 msPassed
test[SL/modules/modules-06.vdm]12 msPassed
test[SL/modules2/modules-01.vdm]5 msPassed
test[SL/modules2/modules-02.vdm]6 msPassed
test[SL/modules2/modules-03.vdm]3 msPassed
test[SL/modules2/modules-04.vdm]5 msPassed
test[SL/modules2/modules-05.vdm]3 msPassed
test[SL/modules2/modules-06.vdm]3 msPassed
test[SL/operations/operations-01.vdm]22 msPassed
test[SL/operations/operations-02.vdm]10 msPassed
test[SL/operations/operations-03.vdm]23 msPassed
test[SL/operations/operations-07.vdm]13 msPassed
test[SL/operations/operations-08.vdm]13 msPassed
test[SL/operations/operations-09.vdm]9 msPassed
test[SL/operations/operations-13.vdm]4 msPassed
test[SL/rename/rename-01.vdm]3 msPassed
test[SL/rename/rename-02.vdm]3 msPassed
test[SL/state/state-01.vdm]4 msPassed
test[SL/state/state-02.vdm]20 msPassed
test[SL/state/state-03.vdm]3 msPassed
test[SL/state/state-04.vdm]3 msPassed
test[SL/state/state-05.vdm]4 msPassed
test[SL/state/state-06.vdm]0 msSkipped
test[SL/state/state-07.vdm]4 msPassed
test[SL/state/state-08.vdm]3 msPassed
test[SL/state/state-09.vdm]4 msPassed
test[SL/state/state-10.vdm]4 msPassed
test[SL/state/state-11.vdm]7 msPassed
test[SL/state/state-12.vdm]4 msPassed
test[SL/stmt/atomic/atomic-01.vdm]7 msPassed
test[SL/stmt/atomic/atomic-02.vdm]6 msPassed
test[SL/stmt/call/call-01.vdm]8 msPassed
test[SL/stmt/call/call-02.vdm]22 msPassed
test[SL/stmt/exception/exception-01.vdm]0 msSkipped
test[SL/stmt/exception/exception-13.vdm]0 msSkipped
test[SL/stmt/returnstmt/returnstmt-01.vdm]6 msPassed
test[SL/stmt/returnstmt/returnstmt-07.vdm]6 msPassed
test[SL/stmt/simple-assign/assignstmt-07.vdm]3 msPassed
test[SL/stmt/specification/specification-01.vdm]4 msPassed
test[SL/stmt/specification/specification-02.vdm]4 msPassed
test[SL/stmt/specification/specification-03.vdm]12 msPassed
test[SL/stmt/whileloop/whileloop-01.vdm]4 msPassed
test[SL/values/values-01.vdm]4 msPassed
test[SL/values/values-02.vdm]5 msPassed
test[SL/values/values-03.vdm]3 msPassed