Test Result : JmlBasicTypeExecTests

0 failures (±0) , 18 skipped (-18)
18 tests (-18)
Took 0 ms.

All Tests

Test nameDurationStatus
Package core / execJml[0: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]0 msSkipped
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
Package core / execJml[1: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]0 msSkipped
Package core / execJml[2: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/basictype/NatParamNil/NatParamNil.vdmsl]0 msSkipped
Package core / execJml[3: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/basictype/Nat1InitWithZero/Nat1InitWithZero.vdmsl]0 msSkipped
Package core / execJml[4: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.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
Package core / execJml[5: src/test/resources/dynamic_analysis/basictype/IntAssignNonInt/IntAssignNonInt.vdmsl]0 msSkipped
Package core / execJml[6: src/test/resources/dynamic_analysis/basictype/CharReturnNil/CharReturnNil.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
Package core / 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
Package core / execJml[8: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]0 msSkipped