Test Result : JmlSimplePatternExecTests

0 failures , 7 skipped
7 tests
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/simple_pattern/Int/Int.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/simple_pattern/Char/Char.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/simple_pattern/Quote/Quote.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/simple_pattern/String/String.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/simple_pattern/Nil/Nil.vdmsl]0 msSkipped
execJml[5: src/test/resources/dynamic_analysis/simple_pattern/Real/Real.vdmsl]0 msSkipped
execJml[6: src/test/resources/dynamic_analysis/simple_pattern/Bool/Bool.vdmsl]0 msSkipped