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

0 failures , 100 skipped
100 tests
Took 0 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
JmlAtomicExecTests0 ms04+404+4
JmlBasicTypeExecTests0 ms09+909+9
JmlComplexStateDesExecTests0 ms07+707+7
JmlComposedPatternExecTests0 ms04+404+4
JmlComprehensionExecTests0 ms03+303+3
JmlInvariantForExecTests0 ms03+303+3
JmlMapTypeExecTests0 ms04+404+4
JmlNamedTypeInvExecTests0 ms010+10010+10
JmlOptionalTypeExecTests0 ms04+404+4
JmlPrePostExecTests0 ms02+202+2
JmlQuantifierExecTests0 ms03+303+3
JmlRecInvExecTests0 ms03+303+3
JmlReuseSlTraceJavaGenTest0 ms012+12012+12
JmlSelectorExecTests0 ms04+404+4
JmlSeqTypeExecTests0 ms05+505+5
JmlSetTypeExecTests0 ms03+303+3
JmlSimplePatternExecTests0 ms07+707+7
JmlSlTraceJavaGenTest0 ms03+303+3
JmlTupleTypeExecTests0 ms04+404+4
JmlUnionTypeExecTests0 ms06+606+6