Test Result : JmlBasicTypeExecTests

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

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]0 msSkipped
Package core / execJml[0: src/test/resources/dynamic_analysis/basictype/RealParamNil/RealParamNil.vdmsl]0 msSkipped
Package core / execJml[1: src/test/resources/dynamic_analysis/basictype/TokenAssignNil/TokenAssignNil.vdmsl]0 msSkipped
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
execJml[4: src/test/resources/dynamic_analysis/basictype/RatAssignBool/RatAssignBool.vdmsl]0 msSkipped
Package core / 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
Package core / execJml[7: src/test/resources/dynamic_analysis/basictype/QuoteAssignNil/QuoteAssignNil.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
Package core / execJml[8: src/test/resources/dynamic_analysis/basictype/BoolReturnNil/BoolReturnNil.vdmsl]0 msSkipped