Test Result : JmlOptionalTypeExecTests

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

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/optionaltype/OpParamQuoteTypeViolation/OpParamQuoteTypeViolation.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/optionaltype/VarDeclTypeViolation/VarDeclTypeViolation.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/optionaltype/AssignBoolTypeViolation/AssignBoolTypeViolation.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/optionaltype/FuncReturnTokenViolation/FuncReturnTokenViolation.vdmsl]0 msSkipped