Test Result : org.overture.vdm2jml.tests.exec

0 failures (±0) , 200 skipped (-200)
200 tests (-200)
Took 0 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlAtomicExecTests0 ms08-808-8
JmlBasicTypeExecTests0 ms018-18018-18
JmlComplexStateDesExecTests0 ms014-14014-14
JmlComposedPatternExecTests0 ms08-808-8
JmlComprehensionExecTests0 ms06-606-6
JmlInvariantForExecTests0 ms06-606-6
JmlMapTypeExecTests0 ms08-808-8
JmlNamedTypeInvExecTests0 ms020-20020-20
JmlOptionalTypeExecTests0 ms08-808-8
JmlPrePostExecTests0 ms04-404-4
JmlQuantifierExecTests0 ms06-606-6
JmlRecInvExecTests0 ms06-606-6
JmlReuseSlTraceJavaGenTest0 ms024-24024-24
JmlSelectorExecTests0 ms08-808-8
JmlSeqTypeExecTests0 ms010-10010-10
JmlSetTypeExecTests0 ms06-606-6
JmlSimplePatternExecTests0 ms014-14014-14
JmlSlTraceJavaGenTest0 ms06-606-6
JmlTupleTypeExecTests0 ms08-808-8
JmlUnionTypeExecTests0 ms012-12012-12