Test Result : ExpJavaGenTest

0 failures , 126 skipped
126 tests
Took 0 ms.

All Tests

Test nameDurationStatus
test[AbsInTuple.vdmpp]0 msSkipped
test[AbsOperator.vdmpp]0 msSkipped
test[AndOfEquivalence.vdmpp]0 msSkipped
test[AndOperator.vdmpp]0 msSkipped
test[ApplyExpSeqEnum.vdmpp]0 msSkipped
test[ApplyExpString.vdmpp]0 msSkipped
test[BoolLiteralFalse.vdmpp]0 msSkipped
test[BoolLiteralTrue.vdmpp]0 msSkipped
test[CharLitNewLine.vdmpp]0 msSkipped
test[CharLitSingleQuote.vdmpp]0 msSkipped
test[DivOperator.vdmpp]0 msSkipped
test[ElemsSeqOfSeqOfNat1.vdmpp]0 msSkipped
test[ElemsSeqofNat1.vdmpp]0 msSkipped
test[EqualsNumeric.vdmpp]0 msSkipped
test[EquivalenceOperator.vdmpp]0 msSkipped
test[FieldNumberExp.vdmpp]0 msSkipped
test[FloorExpression.vdmpp]0 msSkipped
test[ImplicationOperator.vdmpp]0 msSkipped
test[InverseOfProduct.vdmpp]0 msSkipped
test[InverseOfSum.vdmpp]0 msSkipped
test[Maps/MapApplyMapEnumExp.vdmpp]0 msSkipped
test[Maps/MapDomEmptyMap.vdmpp]0 msSkipped
test[Maps/MapDomNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapDomResByEmtptySetAndMap.vdmpp]0 msSkipped
test[Maps/MapDomResByNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapDomResToEmtptySetAndMap.vdmpp]0 msSkipped
test[Maps/MapDomResToNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapEnumExpEmpty.vdmpp]0 msSkipped
test[Maps/MapEnumExpMixed.vdmpp]0 msSkipped
test[Maps/MapEnumExpNats.vdmpp]0 msSkipped
test[Maps/MapInverseNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapMergeEmptyMaps.vdmpp]0 msSkipped
test[Maps/MapMergeNatToNatMaps.vdmpp]0 msSkipped
test[Maps/MapOverrideEmptyMaps.vdmpp]0 msSkipped
test[Maps/MapOverrideNatToNatMaps.vdmpp]0 msSkipped
test[Maps/MapRangeEmptyMap.vdmpp]0 msSkipped
test[Maps/MapRangeNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapRangeResByEmtptySetAndMap.vdmpp]0 msSkipped
test[Maps/MapRangeResByNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapRangeResToEmtptySetAndMap.vdmpp]0 msSkipped
test[Maps/MapRangeResToNatToNatMap.vdmpp]0 msSkipped
test[Maps/MapUnionEmptyMaps.vdmpp]0 msSkipped
test[Maps/MapUnionNatToNatMaps.vdmpp]0 msSkipped
test[Maps/SetEqual.vdmpp]0 msSkipped
test[Maps/SetEqualEmpty.vdmpp]0 msSkipped
test[Maps/SetNotEqual.vdmpp]0 msSkipped
test[Maps/SetNotEqualEmpty.vdmpp]0 msSkipped
test[MkBasicExpEqualsFalse.vdmpp]0 msSkipped
test[MkBasicExpEqualsTrue.vdmpp]0 msSkipped
test[MkBasicExpNotEqualsFalse.vdmpp]0 msSkipped
test[MkBasicExpNotEqualsTrue.vdmpp]0 msSkipped
test[ModOperator.vdmpp]0 msSkipped
test[NarrowTrueToBool.vdmpp]0 msSkipped
test[NotEqualsNumeric.vdmpp]0 msSkipped
test[NotOfImplication.vdmpp]0 msSkipped
test[NotOfOr.vdmpp]0 msSkipped
test[NotOperator.vdmpp]0 msSkipped
test[Null.vdmpp]0 msSkipped
test[NumericExp.vdmpp]0 msSkipped
test[NumericExpOperatorPrecedence.vdmpp]0 msSkipped
test[OrOperator.vdmpp]0 msSkipped
test[Power.vdmpp]0 msSkipped
test[RealDivideIntegerOperands.vdmpp]0 msSkipped
test[RealDivideRealOperand.vdmpp]0 msSkipped
test[RemOperator.vdmpp]0 msSkipped
test[RemOperatorIsolation.vdmpp]0 msSkipped
test[Sequences/SeqConcatExpStrings.vdmpp]0 msSkipped
test[Sequences/SeqConcatenationExp.vdmpp]0 msSkipped
test[Sequences/SeqDistConcExpEmptySeq.vdmpp]0 msSkipped
test[Sequences/SeqDistConcExpEmptySeqs.vdmpp]0 msSkipped
test[Sequences/SeqDistConcExpNoArgs.vdmpp]0 msSkipped
test[Sequences/SeqDistConcExpOneSeqs.vdmpp]0 msSkipped
test[Sequences/SeqDistConcExpThreeSeqs.vdmpp]0 msSkipped
test[Sequences/SeqDistConcStrings.vdmpp]0 msSkipped
test[Sequences/SeqDistConcTuples.vdmpp]0 msSkipped
test[Sequences/SeqElemsExp.vdmpp]0 msSkipped
test[Sequences/SeqEqualsExp.vdmpp]0 msSkipped
test[Sequences/SeqHdExp.vdmpp]0 msSkipped
test[Sequences/SeqHdValueType.vdmpp]0 msSkipped
test[Sequences/SeqIndexExp.vdmpp]0 msSkipped
test[Sequences/SeqIndexValueTypeExp.vdmpp]0 msSkipped
test[Sequences/SeqIndsExp.vdmpp]0 msSkipped
test[Sequences/SeqLenExp.vdmpp]0 msSkipped
test[Sequences/SeqModExp.vdmpp]0 msSkipped
test[Sequences/SeqModExpEmptySeq.vdmpp]0 msSkipped
test[Sequences/SeqNotEqualsExp.vdmpp]0 msSkipped
test[Sequences/SeqReverseExp.vdmpp]0 msSkipped
test[Sequences/SeqTlExp.vdmpp]0 msSkipped
test[Sequences/StringEqual.vdmpp]0 msSkipped
test[Sequences/StringNotEqual.vdmpp]0 msSkipped
test[SetProperSubsetNatSets.vdmpp]0 msSkipped
test[SetRangeEmptySet.vdmpp]0 msSkipped
test[SetRangeEqualBounds.vdmpp]0 msSkipped
test[SetRangeOneToTen.vdmpp]0 msSkipped
test[SetRangeRealBounds.vdmpp]0 msSkipped
test[Sets/SetCardExpEmpty.vdmpp]0 msSkipped
test[Sets/SetCardNatSet.vdmpp]0 msSkipped
test[Sets/SetDifferenceNatSets.vdmpp]0 msSkipped
test[Sets/SetDistInterNatSets.vdmpp]0 msSkipped
test[Sets/SetDistUnionNatSets.vdmpp]0 msSkipped
test[Sets/SetEnumExpEmpty.vdmpp]0 msSkipped
test[Sets/SetEnumExpNatSet.vdmpp]0 msSkipped
test[Sets/SetEqual.vdmpp]0 msSkipped
test[Sets/SetEqualEmpty.vdmpp]0 msSkipped
test[Sets/SetInSet.vdmpp]0 msSkipped
test[Sets/SetIntersectNatSets.vdmpp]0 msSkipped
test[Sets/SetNotEqual.vdmpp]0 msSkipped
test[Sets/SetNotEqualEmpty.vdmpp]0 msSkipped
test[Sets/SetNotInSet.vdmpp]0 msSkipped
test[Sets/SetPowerSetEmptySet.vdmpp]0 msSkipped
test[Sets/SetPowerSetNatSet.vdmpp]0 msSkipped
test[Sets/SetSubsetNatSet.vdmpp]0 msSkipped
test[Sets/SetUnionNatSets.vdmpp]0 msSkipped
test[StringEscape.vdmpp]0 msSkipped
test[SubSeq1.vdmpp]0 msSkipped
test[SubSeq2.vdmpp]0 msSkipped
test[SubSeq3.vdmpp]0 msSkipped
test[SubSeq4.vdmpp]0 msSkipped
test[SubSeq5.vdmpp]0 msSkipped
test[SubSeq6.vdmpp]0 msSkipped
test[SubtractNumericBinary.vdmpp]0 msSkipped
test[TupleEquals.vdmpp]0 msSkipped
test[TupleNotEquals.vdmpp]0 msSkipped
test[UnaryMinusBinaryExp.vdmpp]0 msSkipped
test[UnaryMinusOfBinExp.vdmpp]0 msSkipped
test[UnaryPlusOfBinaryExp.vdmpp]0 msSkipped