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

0 failures (±0) , 400 skipped (±0)
400 tests (±0)
Took 0 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlAtomicExecTests0 ms016016
JmlBasicTypeExecTests0 ms036036
JmlComplexStateDesExecTests0 ms028028
JmlComposedPatternExecTests0 ms016016
JmlComprehensionExecTests0 ms012012
JmlInvariantForExecTests0 ms012012
JmlMapTypeExecTests0 ms016016
JmlNamedTypeInvExecTests0 ms040040
JmlOptionalTypeExecTests0 ms016016
JmlPrePostExecTests0 ms0808
JmlQuantifierExecTests0 ms012012
JmlRecInvExecTests0 ms012012
JmlReuseSlTraceJavaGenTest0 ms048048
JmlSelectorExecTests0 ms016016
JmlSeqTypeExecTests0 ms020020
JmlSetTypeExecTests0 ms012012
JmlSimplePatternExecTests0 ms028028
JmlSlTraceJavaGenTest0 ms012012
JmlTupleTypeExecTests0 ms016016
JmlUnionTypeExecTests0 ms024024