Test Result : JmlBasicTypeExecTests

0 failures , 9 skipped
9 tests
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/basictype/IntAssignNonInt/IntAssignNonInt.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/basictype/CharReturnNil/CharReturnNil.vdmsl]0 msSkipped
execJml[7: src/test/resources/dynamic_analysis/basictype/QuoteAssignNil/QuoteAssignNil.vdmsl]0 msSkipped
execJml[8: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]0 msSkipped