Test Result : JmlSeqTypeExecTests

0 failures , 5 skipped
5 tests
Took 0 ms.

All Tests

Test nameDurationStatus
execJml[0: src/test/resources/dynamic_analysis/seqtype/Seq1AssignEmptySet/Seq1AssignEmptySet.vdmsl]0 msSkipped
execJml[1: src/test/resources/dynamic_analysis/seqtype/SeqNat1BoolMaskedAsNamedTypeInv/SeqNat1BoolMaskedAsNamedTypeInv.vdmsl]0 msSkipped
execJml[2: src/test/resources/dynamic_analysis/seqtype/SeqEven/SeqEven.vdmsl]0 msSkipped
execJml[3: src/test/resources/dynamic_analysis/seqtype/Seq1EvenNatsMaskedAsNamedTypeInv/Seq1EvenNatsMaskedAsNamedTypeInv.vdmsl]0 msSkipped
execJml[4: src/test/resources/dynamic_analysis/seqtype/SeqOfNatNilElem/SeqOfNatNilElem.vdmsl]0 msSkipped