Test Result : JmlSelectorExecTests

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

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]0 msSkipped
execJml[0: src/test/resources/dynamic_analysis/selector/TernaryIf/TernaryIf.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/selector/LetBeStExp/LetBeStExp.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/selector/CaseExp/CaseExp.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/selector/LetBeStStm/LetBeStStm.vdmsl]0 msSkipped