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

0 failures , 400 skipped
400 tests
Took 0 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlAtomicExecTests0 ms016+16016+16
JmlBasicTypeExecTests0 ms036+36036+36
JmlComplexStateDesExecTests0 ms028+28028+28
JmlComposedPatternExecTests0 ms016+16016+16
JmlComprehensionExecTests0 ms012+12012+12
JmlInvariantForExecTests0 ms012+12012+12
JmlMapTypeExecTests0 ms016+16016+16
JmlNamedTypeInvExecTests0 ms040+40040+40
JmlOptionalTypeExecTests0 ms016+16016+16
JmlPrePostExecTests0 ms08+808+8
JmlQuantifierExecTests0 ms012+12012+12
JmlRecInvExecTests0 ms012+12012+12
JmlReuseSlTraceJavaGenTest0 ms048+48048+48
JmlSelectorExecTests0 ms016+16016+16
JmlSeqTypeExecTests0 ms020+20020+20
JmlSetTypeExecTests0 ms012+12012+12
JmlSimplePatternExecTests0 ms028+28028+28
JmlSlTraceJavaGenTest0 ms012+12012+12
JmlTupleTypeExecTests0 ms016+16016+16
JmlUnionTypeExecTests0 ms024+24024+24