[Jenkins]Jenkins

Test Result : PatternJavaGenTest

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

All Tests

Test nameDurationStatus
test[BlockWithInterdependentPatterns.vdmpp]0 msSkipped
Package core / test[BlockWithInterdependentPatterns.vdmpp]0 msSkipped
Package core / test[Bool.vdmpp]0 msSkipped
test[Bool.vdmpp]0 msSkipped
test[CasesExpNamedInvariantTypedExp.vdmpp]0 msSkipped
Package core / test[CasesExpNamedInvariantTypedExp.vdmpp]0 msSkipped
Package core / test[CasesExpNestingLetExp.vdmpp]0 msSkipped
test[CasesExpNestingLetExp.vdmpp]0 msSkipped
test[CasesExpOneCaseNoOthers.vdmpp]0 msSkipped
Package core / test[CasesExpOneCaseNoOthers.vdmpp]0 msSkipped
Package core / test[CasesExpRec.vdmpp]0 msSkipped
test[CasesExpRec.vdmpp]0 msSkipped
test[CasesExpRecordPatternNamedInvariantUnionTypedExp.vdmpp]0 msSkipped
Package core / test[CasesExpRecordPatternNamedInvariantUnionTypedExp.vdmpp]0 msSkipped
test[CasesExpTuple.vdmpp]0 msSkipped
Package core / test[CasesExpTuple.vdmpp]0 msSkipped
test[CasesExpUnionTypedConWithSimpleTypes.vdmpp]0 msSkipped
Package core / test[CasesExpUnionTypedConWithSimpleTypes.vdmpp]0 msSkipped
Package core / test[CasesExpUnionTypedCondWithTuples.vdmpp]0 msSkipped
test[CasesExpUnionTypedCondWithTuples.vdmpp]0 msSkipped
test[CasesStmBool.vdmpp]0 msSkipped
Package core / test[CasesStmBool.vdmpp]0 msSkipped
Package core / test[CasesStmChar.vdmpp]0 msSkipped
test[CasesStmChar.vdmpp]0 msSkipped
Package core / test[CasesStmIdentifier.vdmpp]0 msSkipped
test[CasesStmIdentifier.vdmpp]0 msSkipped
test[CasesStmIgnore.vdmpp]0 msSkipped
Package core / test[CasesStmIgnore.vdmpp]0 msSkipped
Package core / test[CasesStmInt.vdmpp]0 msSkipped
test[CasesStmInt.vdmpp]0 msSkipped
test[CasesStmMultiplePatternsPerAlt.vdmpp]0 msSkipped
Package core / test[CasesStmMultiplePatternsPerAlt.vdmpp]0 msSkipped
test[CasesStmNamedInvariantTypedExp.vdmpp]0 msSkipped
Package core / test[CasesStmNamedInvariantTypedExp.vdmpp]0 msSkipped
test[CasesStmNil.vdmpp]0 msSkipped
Package core / test[CasesStmNil.vdmpp]0 msSkipped
test[CasesStmOpCallExp.vdmpp]0 msSkipped
Package core / test[CasesStmOpCallExp.vdmpp]0 msSkipped
test[CasesStmQuote.vdmpp]0 msSkipped
Package core / test[CasesStmQuote.vdmpp]0 msSkipped
Package core / test[CasesStmReal.vdmpp]0 msSkipped
test[CasesStmReal.vdmpp]0 msSkipped
test[CasesStmRec.vdmpp]0 msSkipped
Package core / test[CasesStmRec.vdmpp]0 msSkipped
Package core / test[CasesStmRecordPatternNamedInvariantUnionTypedExp.vdmpp]0 msSkipped
test[CasesStmRecordPatternNamedInvariantUnionTypedExp.vdmpp]0 msSkipped
test[CasesStmString.vdmpp]0 msSkipped
Package core / test[CasesStmString.vdmpp]0 msSkipped
test[CasesStmTuple.vdmpp]0 msSkipped
Package core / test[CasesStmTuple.vdmpp]0 msSkipped
test[Char.vdmpp]0 msSkipped
Package core / test[Char.vdmpp]0 msSkipped
test[ConstructorCallsConstructor.vdmpp]0 msSkipped
Package core / test[ConstructorCallsConstructor.vdmpp]0 msSkipped
Package core / test[ForAllStmIdentifierPattern.vdmpp]0 msSkipped
test[ForAllStmIdentifierPattern.vdmpp]0 msSkipped
Package core / test[ForAllStmIgnorePattern.vdmpp]0 msSkipped
test[ForAllStmIgnorePattern.vdmpp]0 msSkipped
test[ForAllStmIntPattern.vdmpp]0 msSkipped
Package core / test[ForAllStmIntPattern.vdmpp]0 msSkipped
Package core / test[ForAllStmTuplePatternWithIdentifiers.vdmpp]0 msSkipped
test[ForAllStmTuplePatternWithIdentifiers.vdmpp]0 msSkipped
test[ForAllStmTuplePatternWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[ForAllStmTuplePatternWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[ForPatternBindIdentifierPattern.vdmpp]0 msSkipped
test[ForPatternBindIdentifierPattern.vdmpp]0 msSkipped
Package core / test[ForPatternBindIgnorePattern.vdmpp]0 msSkipped
test[ForPatternBindIgnorePattern.vdmpp]0 msSkipped
Package core / test[ForPatternBindIntPattern.vdmpp]0 msSkipped
test[ForPatternBindIntPattern.vdmpp]0 msSkipped
test[ForPatternBindTuplePatternWithIdentifiers.vdmpp]0 msSkipped
Package core / test[ForPatternBindTuplePatternWithIdentifiers.vdmpp]0 msSkipped
test[ForPatternBindTuplePatternWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[ForPatternBindTuplePatternWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[ForPatternBindTypeBind.vdmpp]0 msSkipped
test[ForPatternBindTypeBind.vdmpp]0 msSkipped
Package core / test[IgnorePattern.vdmpp]0 msSkipped
test[IgnorePattern.vdmpp]0 msSkipped
test[IgnorePatternInLambda.vdmpp]0 msSkipped
Package core / test[IgnorePatternInLambda.vdmpp]0 msSkipped
test[IgnorePatternLastInTuplePattern.vdmpp]0 msSkipped
Package core / test[IgnorePatternLastInTuplePattern.vdmpp]0 msSkipped
Package core / test[Int.vdmpp]0 msSkipped
test[Int.vdmpp]0 msSkipped
test[LetBeStIgnorePattern.vdmpp]0 msSkipped
Package core / test[LetBeStIgnorePattern.vdmpp]0 msSkipped
test[LetBeStRecPattern.vdmpp]0 msSkipped
Package core / test[LetBeStRecPattern.vdmpp]0 msSkipped
Package core / test[LetBeStTuplePattern1.vdmpp]0 msSkipped
test[LetBeStTuplePattern1.vdmpp]0 msSkipped
test[LetBeStTuplePattern2.vdmpp]0 msSkipped
Package core / test[LetBeStTuplePattern2.vdmpp]0 msSkipped
Package core / test[LetExpInsideSetComp.vdmpp]0 msSkipped
test[LetExpInsideSetComp.vdmpp]0 msSkipped
test[Nil.vdmpp]0 msSkipped
Package core / test[Nil.vdmpp]0 msSkipped
Package core / test[Quote.vdmpp]0 msSkipped
test[Quote.vdmpp]0 msSkipped
test[Real.vdmpp]0 msSkipped
Package core / test[Real.vdmpp]0 msSkipped
Package core / test[RecordLastFieldInt.vdmpp]0 msSkipped
test[RecordLastFieldInt.vdmpp]0 msSkipped
test[RecordNoFields.vdmpp]0 msSkipped
Package core / test[RecordNoFields.vdmpp]0 msSkipped
Package core / test[RecordPatternIdentifierPatterns.vdmpp]0 msSkipped
test[RecordPatternIdentifierPatterns.vdmpp]0 msSkipped
Package core / test[RecordPatternWithSimplePatterns.vdmpp]0 msSkipped
test[RecordPatternWithSimplePatterns.vdmpp]0 msSkipped
test[RecordWithFieldOfUnknownType.vdmpp]0 msSkipped
Package core / test[RecordWithFieldOfUnknownType.vdmpp]0 msSkipped
Package core / test[RecordWithIgnorePattern.vdmpp]0 msSkipped
test[RecordWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[RecordWithTuple.vdmpp]0 msSkipped
test[RecordWithTuple.vdmpp]0 msSkipped
Package core / test[SeqCompWithIgnorePattern.vdmpp]0 msSkipped
test[SeqCompWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[String.vdmpp]0 msSkipped
test[String.vdmpp]0 msSkipped
test[TupleLastFieldIntPattern.vdmpp]0 msSkipped
Package core / test[TupleLastFieldIntPattern.vdmpp]0 msSkipped
test[TupleNestingTuples.vdmpp]0 msSkipped
Package core / test[TupleNestingTuples.vdmpp]0 msSkipped
Package core / test[TuplePatternIdentifierPatterns.vdmpp]0 msSkipped
test[TuplePatternIdentifierPatterns.vdmpp]0 msSkipped
test[TuplePatternNestedInBlocks1.vdmpp]0 msSkipped
Package core / test[TuplePatternNestedInBlocks1.vdmpp]0 msSkipped
Package core / test[TuplePatternNestedInBlocks2.vdmpp]0 msSkipped
test[TuplePatternNestedInBlocks2.vdmpp]0 msSkipped
Package core / test[TupleWithBoolPattern.vdmpp]0 msSkipped
test[TupleWithBoolPattern.vdmpp]0 msSkipped
Package core / test[TupleWithIgnorePattern.vdmpp]0 msSkipped
test[TupleWithIgnorePattern.vdmpp]0 msSkipped
Package core / test[TupleWithRecord.vdmpp]0 msSkipped
test[TupleWithRecord.vdmpp]0 msSkipped
Package core / test[ValueDefIgnorePattern.vdmpp]0 msSkipped
test[ValueDefIgnorePattern.vdmpp]0 msSkipped