Test Result : JmlPassTypeCheckTests

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

All Tests

Test nameDurationStatus
typeCheckJml[0: src/test/resources/static_analysis/PreCondNoState.vdmsl]0 msSkipped
typeCheckJml[1: src/test/resources/static_analysis/PreCondWithState.vdmsl]0 msSkipped
typeCheckJml[2: src/test/resources/static_analysis/ModuleStateInvComplex.vdmsl]0 msSkipped
typeCheckJml[3: src/test/resources/static_analysis/PostCondWithState.vdmsl]0 msSkipped
typeCheckJml[4: src/test/resources/static_analysis/State.vdmsl]0 msSkipped
typeCheckJml[5: src/test/resources/static_analysis/RecInv.vdmsl]0 msSkipped
typeCheckJml[6: src/test/resources/static_analysis/PostCondNoState.vdmsl]0 msSkipped
typeCheckJml[7: src/test/resources/static_analysis/ModuleStateInv.vdmsl]0 msSkipped
typeCheckJml[8: src/test/resources/static_analysis/FuncsOpsOnly.vdmsl]0 msSkipped
typeCheckJml[9: src/test/resources/static_analysis/StateInvFuncCall.vdmsl]0 msSkipped