SuccessConsole Output

Skipping 82 KB.. Full Log
ing ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AAllImport.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AMultiBindListDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ADurationStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AUntypedDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ATokenBasicType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/tokens/TAsync.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ABracketType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AStopStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIdentifierObjectDesignator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AInMapMapType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ASystemClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AQuoteType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AErrorStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/ClonableString.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/ClonableFile.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AAllExport.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AIntNumericBasicType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AThreadDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AParameterType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASporadicStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexRealToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ACpuClassDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/ATypeImport.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImportedDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexBooleanToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AProtectedAccess.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExternalDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AClassType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ARepeatTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/AEqRelation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexCharacterToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ACharBasicType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AFromModuleImports.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PAlternativeStm.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ALetDefBindingTraceDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AValueExport.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARecordModifier.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/APatternTypePair.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PAlternative.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/TypeCheckerAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/AstAssistantFactory.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAdaptor.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]]
[checking org.overture.pog.obligation.WhileLoopObligation]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBindBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBooleanBinaryBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]]
[checking org.overture.pog.obligation.ProofObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/WhileLoopObligation.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/ProofObligation.class]]
[checking org.overture.pog.pub.IProofObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IProofObligation.class]]
[checking org.overture.pog.pub.IPOContextStack]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IPOContextStack.class]]
[checking org.overture.pog.pub.IPogAssistantFactory]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IPogAssistantFactory.class]]
[checking org.overture.pof.AVdmPoTree]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[checking org.overture.pof.PPoTreeBase]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/AVdmPoTree.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/PPoTreeBase.class]]
[checking org.overture.pof.PPoTree]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/PPoTree.class]]
[checking org.overture.pog.pub.POStatus]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CloneNotSupportedException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/POStatus.class]]
[checking org.overture.pog.pub.POType]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/POType.class]]
[checking org.overture.pog.utility.UniqueNameGenerator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/UniqueNameGenerator.class]]
[checking org.overture.pog.pub.IPOContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IPOContext.class]]
[checking org.overture.pog.utility.PDefinitionAssistantPOG]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/PDefinitionAssistantPOG.class]]
[checking org.overture.pog.visitors.StateDesignatorNameGetter]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignatorBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/StateDesignatorNameGetter.class]]
[checking org.overture.pog.visitors.IVariableSubVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/IVariableSubVisitor.class]]
[checking org.overture.pog.utility.Substitution]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/Substitution.class]]
[checking org.overture.pog.visitors.ILocaleExtractVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/ILocaleExtractVisitor.class]]
[checking org.overture.pog.visitors.IInvExpGetVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/IInvExpGetVisitor.class]]
[checking org.overture.pog.visitors.PatternToExpVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexQuoteToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSeqExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMapletBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PPatternAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/pattern/PPatternAssistant.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PatternToExpVisitor.class]]
[checking org.overture.pog.pub.IProofObligationList]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/UnaryOperator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IProofObligationList.class]]
[checking org.overture.pog.visitors.PogParamExpVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/PTypeAssistant.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeComparator.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SUnaryExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PAlternativeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PBindBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PFieldBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PModifierBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/GenericDeclaration.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AnnotatedElement.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Executable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Member.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AccessibleObject.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryBase.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/InvocationTargetException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AssertionError.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogParamExpVisitor.class]]
[checking org.overture.pog.contexts.StatefulContext]
[checking org.overture.pog.contexts.POContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/StatefulContext.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POContext.class]]
[checking org.overture.pof.analysis.intf.IPOFQuestion]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/intf/IPOFQuestion.class]]
[checking org.overture.pog.obligation.FunctionPostCondition]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/AImplicitFunctionDefinitionAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPairBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/FunctionPostCondition.class]]
[checking org.overture.pog.contexts.POForAllPredicateContext]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PBindAssistantTC.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PMultipleBindAssistantTC.class)]]
[checking org.overture.pog.contexts.POForAllContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POForAllPredicateContext.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POForAllContext.class]]
[checking org.overture.pog.obligation.FiniteMapObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/FiniteMapObligation.class]]
[checking org.overture.pog.obligation.SatisfiabilityObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/SatisfiabilityObligation.class]]
[checking org.overture.pog.visitors.GetOpCallVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/GetOpCallVisitor.class]]
[checking org.overture.pof.analysis.intf.IPOFAnalysis]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/intf/IPOFAnalysis.class]]
[checking org.overture.pog.obligation.MapInjectivityEnum]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetTypeBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapInjectivityEnum.class]]
[checking org.overture.pog.visitors.GetLocationVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/GetLocationVisitor.class]]
[checking org.overture.pof.analysis.AnalysisPOFAdaptor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/AnalysisPOFAdaptor.class]]
[checking org.overture.pof.analysis.intf.IPOFQuestionAnswer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/intf/IPOFQuestionAnswer.class]]
[checking org.overture.pog.obligation.LetBeExistsObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/LetBeExistsObligation.class]]
[checking org.overture.pog.contexts.POOperationDefinitionContext]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/AImplicitOperationDefinitionAssistantTC.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POOperationDefinitionContext.class]]
[checking org.overture.pog.obligation.FunctionApplyObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/FunctionApplyObligation.class]]
[checking org.overture.pog.visitors.PogParamDefinitionVisitor]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/TreeSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/NavigableSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/SortedSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/PRelationBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinitionBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogParamDefinitionVisitor.class]]
[checking org.overture.pog.contexts.POCaseContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POCaseContext.class]]
[checking org.overture.pog.obligation.FuncComposeObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/FuncComposeObligation.class]]
[checking org.overture.pog.obligation.TupleSelectObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/TupleSelectObligation.class]]
[checking org.overture.pog.visitors.PogParamVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PModulesBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmtAlternativeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBindBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogParamVisitor.class]]
[checking org.overture.pog.visitors.PogExpVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogExpVisitor.class]]
[checking org.overture.pog.contexts.POContextStack]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Enumeration.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POContextStack.class]]
[checking org.overture.pog.obligation.ProofObligationList]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/ProofObligationList.class]]
[checking org.overture.pog.visitors.PogStmVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PAlternativeStmBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCaseBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStmBase.class)]]
[checking org.overture.pog.visitors.PogParamStmVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogStmVisitor.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogParamStmVisitor.class]]
[checking org.overture.pog.visitors.PogDefinitionVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogDefinitionVisitor.class]]
[checking org.overture.pog.obligation.StrictOrderRelationObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/StrictOrderRelationObligation.class]]
[checking org.overture.pog.contexts.PODefContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/PODefContext.class]]
[checking org.overture.pof.analysis.QuestionAnswerPOFAdaptor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/QuestionAnswerPOFAdaptor.class]]
[checking org.overture.pog.obligation.NonEmptySeqObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/NonEmptySeqObligation.class]]
[checking org.overture.pog.contexts.PONotCaseContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/PONotCaseContext.class]]
[checking org.overture.pog.obligation.FuncIterationObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/FuncIterationObligation.class]]
[checking org.overture.pog.contexts.POFunctionDefinitionContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POFunctionDefinitionContext.class]]
[checking org.overture.pog.obligation.OperationCallObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/OperationCallObligation.class]]
[checking org.overture.pog.obligation.OperationPostConditionObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/OperationPostConditionObligation.class]]
[checking org.overture.pof.analysis.DepthFirstAnalysisPOFAdaptor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Token.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifierBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccessBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTermBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PClauseBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImportsBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportsBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImportBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/SValueImportBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExportBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignatorBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/DepthFirstAnalysisPOFAdaptor.class]]
[checking org.overture.pog.obligation.ParameterPatternObligation]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/AExplicitOperationDefinitionAssistantTC.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/ParameterPatternObligation.class]]
[checking org.overture.pog.contexts.PONameContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/PONameContext.class]]
[checking org.overture.pog.obligation.StateInvariantObligation]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/StateInvariantObligation.class]]
[checking org.overture.pog.contexts.PONotImpliesContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/PONotImpliesContext.class]]
[checking org.overture.pog.contexts.OpPostConditionContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/OpPostConditionContext.class]]
[checking org.overture.pog.obligation.OrderedObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/OrderedObligation.class]]
[checking org.overture.pog.visitors.VdmInvExpGetVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/VdmInvExpGetVisitor.class]]
[checking org.overture.pog.utility.POException]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/POException.class]]
[checking org.overture.pog.obligation.EquivalenceRelationObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/EquivalenceRelationObligation.class]]
[checking org.overture.pog.obligation.NonZeroObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/NonZeroObligation.class]]
[checking org.overture.pog.obligation.SeqApplyObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/SeqApplyObligation.class]]
[checking org.overture.pof.analysis.intf.IPOFAnswer]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/intf/IPOFAnswer.class]]
[checking org.overture.pog.obligation.MapInverseObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapInverseObligation.class]]
[checking org.overture.pog.obligation.MapComposeObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapComposeObligation.class]]
[checking org.overture.pog.visitors.VariableSubVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/VariableSubVisitor.class]]
[checking org.overture.pog.obligation.NonEmptySetObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/NonEmptySetObligation.class]]
[checking org.overture.pog.contexts.AssignmentContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/AssignmentContext.class]]
[checking org.overture.pog.contexts.POFunctionResultContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POFunctionResultContext.class]]
[checking org.overture.pog.contexts.POImpliesContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POImpliesContext.class]]
[checking org.overture.pog.visitors.StateDesignatorToExpVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/StateDesignatorToExpVisitor.class]]
[checking org.overture.pog.utility.PatternAlwaysMatchesVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/PatternAlwaysMatchesVisitor.class]]
[checking org.overture.pog.obligation.ValueBindingObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/ValueBindingObligation.class]]
[checking org.overture.pog.obligation.SeqModificationObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/SeqModificationObligation.class]]
[checking org.overture.pog.obligation.SetMembershipObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/SetMembershipObligation.class]]
[checking org.overture.pog.obligation.CasesExhaustiveObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/CasesExhaustiveObligation.class]]
[checking org.overture.pog.utility.PogAssistantFactory]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/PAccessSpecifierAssistantTC.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/PogAssistantFactory.class]]
[checking org.overture.pog.obligation.FiniteSetObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/FiniteSetObligation.class]]
[checking org.overture.pog.utility.ContextHelper]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/ContextHelper.class]]
[checking org.overture.pog.contexts.OpBodyEndContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/OpBodyEndContext.class]]
[checking org.overture.pog.visitors.VdmLocaleExtractor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/VdmLocaleExtractor.class]]
[checking org.overture.pog.pub.ProofObligationGenerator]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/ProofObligationGenerator.class]]
[checking org.overture.pof.analysis.QuestionPOFAdaptor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/QuestionPOFAdaptor.class]]
[checking org.overture.pog.obligation.MapCompatibleObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapCompatibleObligation.class]]
[checking org.overture.pog.contexts.POLetDefContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POLetDefContext.class]]
[checking org.overture.pof.analysis.AnswerPOFAdaptor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/analysis/AnswerPOFAdaptor.class]]
[checking org.overture.pog.obligation.MapInjectivityComp]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapInjectivityComp.class]]
[checking org.overture.pog.obligation.MapIterationObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapIterationObligation.class]]
[checking org.overture.pog.obligation.UniqueExistenceObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/UniqueExistenceObligation.class]]
[checking org.overture.pog.obligation.RecursiveObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/RecursiveObligation.class]]
[checking org.overture.pog.obligation.TypeCompatibilityObligation]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/SNumericBasicTypeAssistant.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/TypeCompatibilityObligation.class]]
[checking org.overture.pog.contexts.POScopeContext]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/contexts/POScopeContext.class]]
[checking org.overture.pog.obligation.SeqMembershipObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/SeqMembershipObligation.class]]
[checking org.overture.pog.obligation.MapApplyObligation]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/obligation/MapApplyObligation.class]]
[checking org.overture.pog.visitors.PogVisitor]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/PogVisitor.class]]
[total 982ms]
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ pog ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 329 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ pog ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 12 source files to /var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/VariableSubTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/VarDefIntegrityVisitor.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/Playground.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/VarDefIntegrityTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/IntegrityCheck.java]]
[parsing completed 1ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/PogBugRegressionTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/TypeIntegrityVisitor.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/PogTypeIntegrityTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/AbsIntegrityTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/PogBasicTest.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/PogTestResult.java]]
[parsing completed 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/src/test/java/org/overture/pog/tests/newtests/PogIntegrationTest.java]]
[parsing completed 1ms]
[search path for source files: /var/lib/jenkins/workspace/overture-test/core/pog/src/test/java,/var/lib/jenkins/workspace/overture-test/core/pog/target/generated-test-sources/test-annotations]
[search path for class files: /usr/lib/jvm/java-8-oracle/jre/lib/resources.jar,/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/sunrsasign.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jsse.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jce.jar,/usr/lib/jvm/java-8-oracle/jre/lib/charsets.jar,/usr/lib/jvm/java-8-oracle/jre/lib/jfr.jar,/usr/lib/jvm/java-8-oracle/jre/classes,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jfxrt.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/nashorn.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunjce_provider.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunec.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/cldrdata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/sunpkcs11.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/localedata.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/dnsns.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/jaccess.jar,/usr/lib/jvm/java-8-oracle/jre/lib/ext/zipfs.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/pog/target/classes,/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/apache/commons/commons-collections4/4.0/commons-collections4-4.0.jar,.]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/IOException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Test.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIntLiteralExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexIntegerToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexNameToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/util/ParserUtil$ParserResult.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/utility/Substitution.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/VariableSubVisitor.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/DepthFirstAnalysisAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AVariableExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnalysis.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Type.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URISyntaxException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar(org/apache/commons/io/FileUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar(org/apache/commons/io/IOUtils.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParseTcFacade.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IProofObligation.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/IProofObligationList.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/pub/ProofObligationGenerator.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/Gson.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/reflect/TypeToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assume.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runner/RunWith.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized$Parameters.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/PathsProvider.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamNoResultFileTest.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Boolean.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamStandardTest.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Cloneable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/AbsResultTest.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AEqualsDefinition.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMkTypeExp.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFunctionType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARecordInvariantType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]]
[checking org.overture.pog.tests.VariableSubTest]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestionAnswer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAnswerAdaptor.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.class)]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pog/visitors/IVariableSubVisitor.class]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Node.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexIntegerToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexToken.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexNameToken.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Error.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ParserException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/LocatedException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/VariableSubTest.class]]
[checking org.overture.pog.tests.newtests.VarDefIntegrityVisitor]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractList.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/VarDefIntegrityVisitor.class]]
[checking org.overture.pog.tests.newtests.IntegrityCheck]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/IntegrityCheck.class]]
[checking org.overture.pog.tests.Playground]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-io/commons-io/2.4/commons-io-2.4.jar(org/apache/commons/io/filefilter/IOFileFilter.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileDescriptor.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStreamReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URL.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStream.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/JsonSyntaxException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/JsonElement.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/JsonIOException.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/stream/JsonReader.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuffer.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/JsonParseException.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/Playground$1.class]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/Playground.class]]
[checking org.overture.pog.tests.newtests.VarDefIntegrityTest]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/AVdmPoTree.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/PPoTreeBase.class]]
[loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/classes/org/overture/pof/PPoTree.class]]
[checking org.overture.pog.tests.newtests.AbsIntegrityTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/VarDefIntegrityTest.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/AbsIntegrityTest.class]]
[checking org.overture.pog.tests.newtests.PogBugRegressionTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogBugRegressionTest$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogBugRegressionTest.class]]
[checking org.overture.pog.tests.newtests.PogTestResult]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.class)]]
[loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogTestResult.class]]
[checking org.overture.pog.tests.newtests.TypeIntegrityVisitor]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PType.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantTypeBase.class)]]
[loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/TypeIntegrityVisitor.class]]
[checking org.overture.pog.tests.newtests.PogTypeIntegrityTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogTypeIntegrityTest.class]]
[checking org.overture.pog.tests.newtests.PogBasicTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogBasicTest$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogBasicTest.class]]
[checking org.overture.pog.tests.newtests.PogIntegrationTest]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogIntegrationTest$1.class]]
[wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/test-classes/org/overture/pog/tests/newtests/PogIntegrationTest.class]]
[total 111ms]
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ pog ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Running org.overture.pog.tests.VariableSubTest
Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.286 sec - in org.overture.pog.tests.VariableSubTest
Running org.overture.pog.tests.newtests.PogBasicTest
Tests run: 39, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.911 sec - in org.overture.pog.tests.newtests.PogBasicTest
Running org.overture.pog.tests.newtests.PogBugRegressionTest
Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.112 sec - in org.overture.pog.tests.newtests.PogBugRegressionTest
Running org.overture.pog.tests.newtests.PogTypeIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.101 sec - in org.overture.pog.tests.newtests.PogTypeIntegrityTest
Running org.overture.pog.tests.newtests.VarDefIntegrityTest
Tests run: 42, Failures: 0, Errors: 0, Skipped: 42, Time elapsed: 0.025 sec - in org.overture.pog.tests.newtests.VarDefIntegrityTest
Running org.overture.pog.tests.newtests.PogIntegrationTest
Tests run: 50, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.952 sec - in org.overture.pog.tests.newtests.PogIntegrationTest

Results :

Tests run: 195, Failures: 0, Errors: 0, Skipped: 84

[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ pog ---
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ pog ---
[INFO] Analyzed bundle 'The Proof Obligation Generator' with 90 classes
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ pog ---
[INFO] 
92 warnings
[WARNING] Javadoc Warnings
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:46: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:47: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:48: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:68: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:69: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/utility/PatternAlwaysMatchesVisitor.java:70: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @param for node
[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @param for exps
[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:237: warning: no @return
[WARNING] protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @param for patternType
[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @param for patternNames
[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:260: warning: no @return
[WARNING] protected PMultipleBind getMultipleTypeBind(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @param for setExp
[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @param for patternNames
[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:283: warning: no @return
[WARNING] protected PMultipleBind getMultipleSetBind(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @param for patternType
[WARNING] protected List<PMultipleBind> getMultipleTypeBindList(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @param for patternNames
[WARNING] protected List<PMultipleBind> getMultipleTypeBindList(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:305: warning: no @return
[WARNING] protected List<PMultipleBind> getMultipleTypeBindList(PType patternType,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @param for setExp
[WARNING] protected List<PMultipleBind> getMultipleSetBindList(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @param for patternNames
[WARNING] protected List<PMultipleBind> getMultipleSetBindList(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:316: warning: no @return
[WARNING] protected List<PMultipleBind> getMultipleSetBindList(PExp setExp,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:327: warning: no @param for name
[WARNING] protected ILexNameToken getUnique(String name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:327: warning: no @return
[WARNING] protected ILexNameToken getUnique(String name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @param for left
[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @param for right
[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:335: warning: no @return
[WARNING] protected AEqualsBinaryExp getEqualsExp(PExp left, PExp right)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:343: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:343: warning: no @return
[WARNING] protected AVariableExp getVarExp(ILexNameToken name)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @param for type
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:354: warning: no @return
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PType type)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @param for vardef
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:364: warning: no @return
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:374: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for name
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for vardef
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:376: warning: no @param for type
[WARNING] protected AVariableExp getVarExp(ILexNameToken name, PDefinition vardef, PType type){
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @param for root
[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @param for arglist
[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:392: warning: no @return
[WARNING] protected AApplyExp getApplyExp(PExp root, PExp... arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @param for root
[WARNING] protected AApplyExp getApplyExp(PExp root, List<PExp> arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @param for arglist
[WARNING] protected AApplyExp getApplyExp(PExp root, List<PExp> arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:400: warning: no @return
[WARNING] protected AApplyExp getApplyExp(PExp root, List<PExp> arglist)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:418: warning: no @param for i
[WARNING] protected AIntLiteralExp getIntLiteral(long i)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:418: warning: no @return
[WARNING] protected AIntLiteralExp getIntLiteral(long i)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @param for root
[WARNING] protected PExp makeAnd(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @param for e
[WARNING] protected PExp makeAnd(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:430: warning: no @return
[WARNING] protected PExp makeAnd(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @param for root
[WARNING] protected PExp makeOr(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @param for e
[WARNING] protected PExp makeOr(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:450: warning: no @return
[WARNING] protected PExp makeOr(PExp root, PExp e)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @param for pattern
[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @return
[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/ProofObligation.java:469: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected PExp patternToExp(PPattern pattern) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:57: warning: no description for @param
[WARNING] * @param exp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:58: warning: no description for @param
[WARNING] * @param settype
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:59: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:60: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/FiniteSetObligation.java:61: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:42: warning: no description for @param
[WARNING] * @param exp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:43: warning: no description for @param
[WARNING] * @param ctxt
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:44: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/MapInverseObligation.java:45: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:107: warning: no description for @param
[WARNING] * @param assistantFactory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:108: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:109: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:197: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java:199: warning: no @param for assistantFactory
[WARNING] protected TypeCompatibilityObligation(INode root, ILexLocation loc,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:79: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:80: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:81: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:173: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:174: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PatternToExpVisitor.java:175: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:556: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:557: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:558: warning: no description for @param
[WARNING] * @param precond
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:559: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:88: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:71: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:72: warning: no description for @param
[WARNING] * @param mainVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamDefinitionVisitor.java:73: warning: no description for @param
[WARNING] * @param assistantFactory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamExpVisitor.java:58: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamStmVisitor.java:81: warning: no description for @param
[WARNING] * @param parentVisitor
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:52: warning: no description for @param
[WARNING] * @param <Q>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:53: warning: no description for @param
[WARNING] * @param <A>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/visitors/PogParamVisitor.java:75: warning: no description for @param
[WARNING] * @param assistantFactory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for pattern
[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for af
[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @param for unq
[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/overture-test/core/pog/src/main/java/org/overture/pog/contexts/POContext.java:88: warning: no @return
[WARNING] protected PExp patternToExp(PPattern pattern, IPogAssistantFactory af,
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ pog ---
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/pog/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/pog/2.6.5-SNAPSHOT/pog-2.6.5-SNAPSHOT-javadoc.jar