Test Result : JmlNamedTypeInvExecTests

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

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeMadeOptional/NamedTypeMadeOptional.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvAsssignments/NamedTypeInvAsssignments.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvLocalDecls/NamedTypeInvLocalDecls.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvNullAllowed/NamedTypeInvNullAllowed.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvSeqUpdate/NamedTypeInvSeqUpdate.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/namedtypeinv/RecursionConservativeChecking/RecursionConservativeChecking.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvValues/NamedTypeInvValues.vdmsl]0 msSkipped
execJml[7: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMethodParam/NamedTypeInvMethodParam.vdmsl]0 msSkipped
execJml[8: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvMapUpdate/NamedTypeInvMapUpdate.vdmsl]0 msSkipped
execJml[9: src/test/resources/dynamic_analysis/namedtypeinv/NamedTypeInvReturn/NamedTypeInvReturn.vdmsl]0 msSkipped