Started calculate disk usage of build Finished Calculation of disk usage of build in 0 seconds Started calculate disk usage of workspace Finished Calculation of disk usage of workspace in 0 seconds [INFO] [INFO] ------------------------------------------------------------------------ [INFO] Building The Code Generation Platform 2.6.5-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ platform --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/codegen/platform' for files matching the pattern '**/*.java' - excludes: **/target/* [TASKS] Found 174 files to scan for tasks Found 9 open tasks. [TASKS] Computing warning deltas based on reference build #199 [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ platform --- [INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/overture-test/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/* [INFO] [INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ platform --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ platform --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 169 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceMethodTag.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceStmBuilder.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/GeneralUtils.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ModuleVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/TypeVisitorIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/RenamedTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/comp/MapCompStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/NamingComparison.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeCoordinator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/VdmNodeInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/funcvalues/FuncValTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/IIterationStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/VarOccurencesCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/CallObjTraceLocalizer.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/IRVisitorRecursiveTypeHandler.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/UnreachableStmRemover.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/BindAssistantIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/quantifier/OrdinaryQuantifierStrategy.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/iterator/JavaLanguageIterator.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/comp/SetCompStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/VarRenamer.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRSettings.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceNames.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ExportsVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conc/EvalPermPredTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conv/ObjectDesignatorToExpIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/SlAccessTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/ExpAssistantIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/iterator/ILanguageIterator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/ReservedWordsComparison.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/StmVisitorIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/StoreAssistant.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ImportVisitorIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRConstants.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/comp/CompStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/InvalidNamesResult.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/IdentifierPatternCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/PatternTypeFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/PrePostTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/TemplateData.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/AnalysisExceptionIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/Violation.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/PolyFuncTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/DeclVisitorIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/MultipleBindVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/IsExpTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/Renaming.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/Generated.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/VdmAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/funcvalues/FuncValAssistant.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/PatternBlockData.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergerObserver.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conc/ConcPrefixes.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ExportVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/Exp2StmVarPrefixes.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/TypeAssistantIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/assistants/TransAssistantIR.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ObjectDesignatorVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/MismatchHandling.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/AssignStmTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/PatternVisitorIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/TempVarNameGen.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/IterationVarPrefixes.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/SlStateAccessTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/VarShadowingRenameCollector.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/AbstractAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/ICallStmToStringMethodBuilder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ModifierVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRGenerator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/IPostCheckCreator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/AssistantBase.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TermVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/StmAssistantIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/printer/DefaultConsolePrinter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/LetBeStTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/quantifier/QuantifierBaseStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/OldNameRenamer.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/StateDesignatorVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ExpVisitorIR.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeContext.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/UnionTypeTrans.java]] [parsing completed 3ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/DeclBlockPair.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/ConstructorTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/TemplateManager.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/comp/ComplexCompStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/quantifier/CounterData.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/IRVisitor.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/WhileStmTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/printer/AbstractPrinter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conc/MainClassConcTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/DeclStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/letexps/IfExpTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conc/SentinelTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/SeqConvTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/GeneralCodeGenUtils.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IREventCoordinator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/AbstractIterationStrategy.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/PatternTrans.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/CollectionTypeStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/assistants/BaseTransformationAssistant.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/iterator/AbstractLanguageIterator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/PreCheckTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/PatternVarPrefixes.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IREventObserver.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/GeneratedVarComparison.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRGeneratedTag.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/LexNameTokenWrapper.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/AbstractVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/UnionTypeVarPrefixes.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRStatus.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/quantifier/Exists1QuantifierStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/quantifier/OrdinaryQuantifier.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/PostCheckTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/VisitorManager.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ImportsVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/VdmAstAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/IdDesignatorOccurencesCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/BlockCleanupTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IROperatorInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/comp/SeqCompStrategy.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/CodeGenBase.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/ClassVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/DeclarationTag.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/let/LetBeStStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/DivideTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/IdStateDesignatorDefCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/NameViolationAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/uniontypes/NonDetStmTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/NodeAssistantIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/Exp2StmTrans.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/iota/IotaStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/GeneratedData.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/letexps/FuncTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conv/StateDesignatorToExpIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceNodeData.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceSupportedAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/DeclAssistantIR.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/DefinitionInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/ITotalTransformation.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IrNodeInfo.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/printer/MsgPrinter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceCoreDeclVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IROperatorLookup.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/ViolationAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/conc/MutexDeclTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/RenameAnalysis.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/PatternAssistantIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceDeclVisitorIR.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TraceLetBeStStrategy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/CallObjStmTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/patterns/PatternInfo.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/TemplateCallable.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/NameCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/traces/TracesTrans.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/funcvalues/FuncValPrefixes.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/IRNamedTypeInvariantTag.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/ir/ITempVarGen.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/ModuleToClassTransformation.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/AtomicStmTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/vdm/IdOccurencesCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/AssistantManager.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/IsExpSimplifyTrans.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/utils/GeneratedModule.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/visitor/BindVisitorIR.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/analysis/violations/TypenameComparison.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/assistant/LocationAssistantIR.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/generated-sources/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/codegen/platform/target/classes,/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/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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/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/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.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,/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-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/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar,.] [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/util/LinkedList.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/Set.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/Logger.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SFunctionDefinition.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/lex/Dialect.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACallStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STraceDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SourceNode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnalysisException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/DepthFirstAnalysisAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFieldDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AMethodDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AVarDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAnonymousClassExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AApplyExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACastUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExplicitVarExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFieldExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIdentifierVarExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANewExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATypeArgExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/name/ATypeNameIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AIdentifierPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ASetMultipleBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ABlockStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACallObjectExpStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/APlainCallStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AReturnStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASkipStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SCallStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/AApplyExpTraceCoreDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/ABracketedExpTraceCoreDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/AConcurrentExpTraceCoreDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/ALetBeStBindingTraceDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/ALetDefBindingTraceDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/ARepeatTraceDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/traces/ATraceDeclTermIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ABoolBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AClassTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AExternalTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AMethodTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AObjectTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AVoidTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSetTypeIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IAnswer.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/util/HashMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANatNumericBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AUnionTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AUnknownTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ADefaultClassDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFormalParamLocalParamIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ANamedTraceDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IAnalysis.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.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/statements/AIdentifierStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AModuleDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SVarExpIR.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/types/PType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ASeqMultipleBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AElseIfStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AIfStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ALocalPatternAssignmentStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASuperCallStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExportsIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SImportsIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SModifierIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SMultipleBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SObjectDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStateDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STermIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STraceCoreDeclIR.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/analysis/QuestionAnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIR.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/util/ClonableString.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AAssignmentDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AClassInvariantDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AInstanceVariableDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ANamedTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AStateDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ATypeDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AValueDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACaseAlternative.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALambdaExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARealLiteralExp.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/expressions/SBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AAssignmentStm.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/types/ANatNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ANatOneNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnionType.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ABoolLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACaseAltExpExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACharLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEnumSeqExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIsolationUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapSeqGetExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANotUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANullExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AQuoteLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARealLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AStringLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AUndefinedExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SQuantifierExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AForLoopStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AIdentifierStateDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AWhileStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ACharBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AIntNumericBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AMapMapTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANat1NumericBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AQuoteTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARealNumericBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AStringTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/utils/AHeaderLetBeStIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AClassClassDefinition.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/definitions/AExplicitFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AExplicitOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImplicitOperationDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AInheritedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubclassResponsibilityExp.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[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/APatternListTypePair.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASubclassResponsibilityStm.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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFuncDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AMutexSyncDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/APersyncDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ARecordDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AThreadDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ATypeDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANotImplementedExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/name/ATokenNameIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ANotImplementedStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARecordTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ATemplateTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ABlockSimpleBlockStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACaseAlternativeStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AElseIfStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForAllStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForIndexStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AIfStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ALetStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AAtomicStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACaseAltStmStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AForAllStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AForIndexStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMetaStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar(org/apache/commons/lang/BooleanUtils.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/factory/AstFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATuplePattern.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/types/ANamedInvariantType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOptionalType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AProductType.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/types/ASeq1SeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AUnknownType.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/util/PTypeSet.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AApplyObjectDesignatorIR.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/type/PTypeAssistantTC.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)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ASeqBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ASetBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ATypeBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ATypeMultipleBindIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ATuplePatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ATupleTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSeqTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AAssignToExpStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompSeqExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AStateDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUndefinedExp.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/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedReader.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/FileInputStream.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/IOException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStream.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/UnsupportedEncodingException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.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/lang/StringBuilder.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleExports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleImports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AModuleExportsIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AModuleImportsIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ABooleanBasicType.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/types/AClassType.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/AInMapMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AMapMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AOperationType.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/types/ARationalNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARealNumericBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASeqSeqType.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/types/AUnresolvedType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AVoidType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ANamedTypeDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARatNumericBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ASetSetTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ATokenBasicTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ARenamedDefinition.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEnumMapExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapletExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMapCompAddStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexIdentifierToken.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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StringWriter.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AInterfaceDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALambdaExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMethodInstantiationExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AInterfaceTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/graph/DefaultDirectedGraph.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/graph/DefaultEdge.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/traverse/TopologicalOrderIterator.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/analysis/intf/IAnalysis.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASelfExpIR.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Stack.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.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/io/Serializable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEnumSetExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASetCompAddStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/ITypeCheckerAssistantFactory.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/definitions/traces/ALetBeStBindingTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexNameList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIdentifierPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACasesStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AForPatternBindStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ALetBeStStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ATixeStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ATixeStmtAlternative.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ATrapStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/typechecker/NameScope.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AFieldField.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/SFunctionDefinitionAssistantTC.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALetDefExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALetBeStExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AForAllExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIotaExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AExistsExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetCompSetExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapCompMapExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACasesExp.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AAssignmentStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMapSeqUpdateStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AFieldObjectDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AIdentifierObjectDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ANewObjectDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASelfObjectDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SMapTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASelfExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAndBoolBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AReverseUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ANonDeterministicSimpleBlockStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AExitStm.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/statements/AClassInvariantStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/APeriodicStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AAtomicStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACyclesStm.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/statements/AWhileStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ANotYetSpecifiedStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AReturnStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ACallObjectStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASkipStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AStartStm.class)]] [loading 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/modules/AFunctionValueImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AOperationValueImport.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/modules/AValueValueImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/PImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/SValueImport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AAllImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFunctionValueImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AOperationValueImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ATypeImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AValueValueImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SValueImportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar(org/apache/commons/lang/ArrayUtils.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/IdentityHashMap.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/QuestionAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ABoolPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ACharPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AIgnorePatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AIntPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ANullPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AQuotePatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ARealPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/ARecordPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/patterns/AStringPatternIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestion.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ASeqSeqTypeIR.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ATraceDefinitionTerm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/AAccessSpecifierAccessSpecifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ARenamedDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AImplicitFunctionDefinition.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/definitions/APerSyncDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AMutexSyncDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASeqMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATypeMultipleBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AGeneralIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AOrBoolBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SVarExpBase.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/modules/AFunctionExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AOperationExport.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/ATypeExport.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AAllExportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFunctionExportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AOperationExportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ATypeExportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AValueExportIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANewExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AApplyObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AFieldObjectDesignator.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/statements/ANewObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASelfObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AMapSeqStateDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AFieldStateDesignatorIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ABooleanPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ACharacterPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIgnorePattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AIntegerPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ANilPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AQuotePattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ARealPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ARecordPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AStringPattern.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/intf/lex/ILexIdentifierToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARecordModifierIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ALetBeStStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AFieldStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AMapSeqStateDesignator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignator.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/patterns/ASeqBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ATypeBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANarrowExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStateInitExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APreOpExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APostOpExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotYetSpecifiedExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATimeExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AThreadIdExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANilExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMkBasicExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACardinalityUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AInSetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotInSetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetUnionBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetIntersectBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetDifferenceBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubsetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AProperSubsetBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistUnionUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistIntersectUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APowerSetUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetEnumSetExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AExists1Exp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASetRangeSetExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIfExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATupleExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldNumberExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFuncInstatiationExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMuExp.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/expressions/ASubseqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AReverseUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistConcatUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqCompSeqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqConcatBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APlusPlusBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ACompBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapEnumMapExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapletExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapDomainUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapRangeUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapUnionBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADistMergeUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADomainResToBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADomainResByBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARangeResToBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARangeResByBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AMapInverseUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AEqualsBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotEqualBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIndicesUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASeqEnumSeqExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFieldExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AApplyExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATimesNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/APlusNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASubtractNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AGreaterEqualNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStarStarBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AGreaterNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALessEqualNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALessNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADivideNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADivNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AModNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ARemNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AImpliesBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AEquivalentBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUnaryPlusUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AUnaryMinusUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AFloorUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AAbsoluteUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ANotUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AOrBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AAndBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ALenUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AElementsUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AHeadUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ATailUnaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ABooleanConstExp.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/ACharLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AStringLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AQuoteLiteralExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AHistoryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsOfBaseClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AIsOfClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASameBaseClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASameClassExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/VelocityContext.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACardUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AElemsUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFieldNumberExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntDivNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIsOfClassExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALenUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapDomainUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMissingMemberRuntimeErrorExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AModNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARemNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASeqConcatBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ARaiseErrorStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AErrorTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ASystemClassDeclIR.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StringReader.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/Template.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeServices.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeSingleton.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/parser/ParseException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/parser/node/SimpleNode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ABreakStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AEqualsBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ATryStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATernaryIfExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExternalExpIR.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/io/FileWriter.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/util/Collections.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/definitions/ClassList.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/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/LexTokenReader.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/Console.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMError.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMErrorsException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMWarning.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ClassReader.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ExpressionReader.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/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 ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ClassTypeChecker.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/Environment.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/PublicClassEnvironment.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeCheckInfo.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/TypeChecker.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/visitor/TypeCheckVisitor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACasesStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AContinueStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APreCondRuntimeErrorExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/AFromModuleImportsIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ASeqCompAddStmIR.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedWriter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStreamWriter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintWriter.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/app/Velocity.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/util/modules/ModuleList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ABusClassDefinition.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ABusClassDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ACpuClassDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALetBeStNoBindingRuntimeErrorExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADivideNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATimesNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ANonDeterministicBlockStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALetBeStExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARecordModExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompMapExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompSetExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AForAllQuantifierExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExistsQuantifierExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIotaExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AExists1QuantifierExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALetDefExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACasesExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBoolBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AApplyExpressionTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/ABracketedExpressionTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AConcurrentExpressionTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAddrEqualsBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAddrNotEqualsBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AGreaterEqualNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AGreaterNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALessEqualNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ALessNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMinusUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANotEqualsBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APlusNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APlusUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APowerNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASubtractNumericBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AXorBoolBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AHistoryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/AInstanceTraceDefinition.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/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/traces/PTraceCoreDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACallObjectStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleIsExpIR.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/annotation/Annotation.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.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)]] [checking org.overture.codegen.traces.TraceMethodTag] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceMethodTag.class]] [checking org.overture.codegen.traces.TraceStmBuilder] [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)]] [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/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/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[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/Category.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar(org/apache/log4j/spi/AppenderAttachable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STermIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/Node.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/util/Collection.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/util/Deque.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.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/util/AbstractList.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestionAnswer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STypeIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStmIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STraceCoreDeclIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/STraceDeclIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SMultipleBindIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SPatternIRBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SLiteralExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SCallStmBase.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[/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/definitions/SFunctionDefinitionBase.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[/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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SBasicTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SUnaryExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIRBase.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/codegen/platform/target/classes/org/overture/codegen/traces/TraceStmBuilder$1.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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceStmBuilder.class]] [checking org.overture.codegen.traces.TraceNodeData] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceNodeData.class]] [checking org.overture.codegen.traces.StoreAssistant] [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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SNumericBasicBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SNumericBasicTypeIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/StoreAssistant.class]] [checking org.overture.codegen.traces.TracesTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLocalParamIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLocalParamIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TracesTrans.class]] [checking org.overture.codegen.ir.IRInfo] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRInfo.class]] [checking org.overture.codegen.trans.assistants.TransAssistantIR] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Locale.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/IAstAssistantFactory.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/assistant/IAstAssistant.class)]] [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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IQuestion.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[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSetTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SSeqTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBoolBinaryBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBinaryExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SNumericBinaryBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AIncrementStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSeqExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSeqExpIR.class)]] [checking org.overture.codegen.trans.assistants.BaseTransformationAssistant] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/assistants/TransAssistantIR.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/assistants/BaseTransformationAssistant.class]] [checking org.overture.codegen.traces.TraceNames] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceNames.class]] [checking org.overture.codegen.trans.IterationVarPrefixes] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IterationVarPrefixes.class]] [checking org.overture.codegen.trans.iterator.ILanguageIterator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iterator/ILanguageIterator.class]] [checking org.overture.codegen.traces.ICallStmToStringMethodBuilder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/ICallStmToStringMethodBuilder.class]] [checking org.overture.codegen.traces.TraceSupportedAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceSupportedAnalysis.class]] [checking org.overture.codegen.visitor.VisitorManager] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/VisitorManager.class]] [checking org.overture.codegen.assistant.AssistantManager] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantManager.class]] [checking org.overture.codegen.ir.VdmNodeInfo] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/VdmNodeInfo.class]] [checking org.overture.codegen.ir.IrNodeInfo] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IrNodeInfo.class]] [checking org.overture.codegen.ir.ITempVarGen] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/ITempVarGen.class]] [checking org.overture.codegen.ir.IRSettings] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRSettings.class]] [checking org.overture.codegen.visitor.IRVisitor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/IRVisitor.class]] [checking org.overture.codegen.assistant.NodeAssistantIR] [checking org.overture.codegen.assistant.AssistantBase] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/NodeAssistantIR.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantBase.class]] [checking org.overture.codegen.assistant.ExpAssistantIR] [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/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[/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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SLiteralExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLetBeStIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SLetBeStIR.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/expressions/PAlternative.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SAltExpExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/type/AUnionTypeAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SAltExpExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SStateDesignatorIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SMapTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/ExpAssistantIR.class]] [checking org.overture.codegen.assistant.DeclAssistantIR] [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/modules/PModules.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/PAccessSpecifierBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PAccessSpecifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SOperationDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/SClassDefinitionBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PDefinitionAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/PAccessSpecifierAssistantTC.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PAccessSpecifierAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPairBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPair.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR.class]] [checking org.overture.codegen.assistant.StmAssistantIR] [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/PAlternativeStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SAltStmStmBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/SAltStmStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStmBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/StmAssistantIR.class]] [checking org.overture.codegen.assistant.TypeAssistantIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexQuoteToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SObjectDesignatorIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/AIntBasicTypeWrappersTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/SBasicTypeWrappersTypeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANat1BasicTypeWrappersTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ANatBasicTypeWrappersTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARatBasicTypeWrappersTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ARealBasicTypeWrappersTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ACharBasicTypeWrappersTypeIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/types/ABoolBasicTypeWrappersTypeIR.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)]] [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[/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/types/SInvariantType.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/TypeAssistantIR$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/TypeAssistantIR$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/TypeAssistantIR.class]] [checking org.overture.codegen.assistant.LocationAssistantIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.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/Function.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToDoubleFunction.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToLongFunction.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/ToIntFunction.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/LocationAssistantIR$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/LocationAssistantIR$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/LocationAssistantIR.class]] [checking org.overture.codegen.assistant.BindAssistantIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SBindIRBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/BindAssistantIR.class]] [checking org.overture.codegen.assistant.PatternAssistantIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/PatternAssistantIR.class]] [checking org.overture.codegen.trans.IIterationStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IIterationStrategy.class]] [checking org.overture.codegen.visitor.AbstractVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/AbstractVisitorIR.class]] [checking org.overture.codegen.assistant.DeclStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclStrategy.class]] [checking org.overture.codegen.utils.LexNameTokenWrapper] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/LexNameTokenWrapper.class]] [checking org.overture.codegen.assistant.CollectionTypeStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/CollectionTypeStrategy.class]] [checking org.overture.codegen.utils.GeneralUtils] [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/lang/System.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/nio/charset/CharsetDecoder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/Charset.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/lang/Readable.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneralUtils.class]] [checking org.overture.codegen.visitor.ModuleVisitorIR] [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/PImports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SImportsIRBase.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/PExports.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExportsIRBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ModuleVisitorIR.class]] [checking org.overture.codegen.visitor.TypeVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/TypeVisitorIR.class]] [checking org.overture.codegen.trans.RenamedTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/RenamedTrans.class]] [checking org.overture.codegen.trans.comp.MapCompStrategy] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SMapExpBase.class)]] [checking org.overture.codegen.trans.comp.ComplexCompStrategy] [checking org.overture.codegen.trans.comp.CompStrategy] [checking org.overture.codegen.trans.AbstractIterationStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/MapCompStrategy.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/ComplexCompStrategy.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/CompStrategy.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/AbstractIterationStrategy.class]] [checking org.overture.codegen.trans.DeclarationTag] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/DeclarationTag.class]] [checking org.overture.codegen.analysis.violations.NamingComparison] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexToken.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/NamingComparison.class]] [checking org.overture.codegen.merging.MergeCoordinator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergeCoordinator.class]] [checking org.overture.codegen.merging.MergerObserver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergerObserver.class]] [checking org.overture.codegen.trans.funcvalues.FuncValTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/funcvalues/FuncValTrans.class]] [checking org.overture.codegen.trans.funcvalues.FuncValAssistant] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/funcvalues/FuncValAssistant.class]] [checking org.overture.codegen.trans.funcvalues.FuncValPrefixes] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/funcvalues/FuncValPrefixes.class]] [checking org.overture.codegen.trans.FieldOrderTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/EdgeFactory.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Supplier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/graph/AbstractBaseGraph.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/Graph.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/graph/AbstractGraph.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/traverse/AbstractGraphIterator.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar(org/jgrapht/traverse/GraphIterator.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/FieldOrderTrans$VarExpFinder.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/FieldOrderTrans$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/FieldOrderTrans.class]] [checking org.overture.codegen.analysis.vdm.VarOccurencesCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VarOccurencesCollector.class]] [checking org.overture.codegen.traces.CallObjTraceLocalizer] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/CallObjTraceLocalizer.class]] [checking org.overture.codegen.visitor.IRVisitorRecursiveTypeHandler] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/RandomAccess.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/IRVisitorRecursiveTypeHandler.class]] [checking org.overture.codegen.analysis.vdm.UnreachableStmRemover] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStm.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/UnreachableStmRemover.class]] [checking org.overture.codegen.trans.quantifier.OrdinaryQuantifierStrategy] [checking org.overture.codegen.trans.quantifier.QuantifierBaseStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/OrdinaryQuantifierStrategy.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/QuantifierBaseStrategy.class]] [checking org.overture.codegen.trans.quantifier.OrdinaryQuantifier] [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/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/OrdinaryQuantifier.class]] [checking org.overture.codegen.trans.iterator.JavaLanguageIterator] [checking org.overture.codegen.trans.iterator.AbstractLanguageIterator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iterator/JavaLanguageIterator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iterator/AbstractLanguageIterator.class]] [checking org.overture.codegen.trans.comp.SetCompStrategy] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSetExpBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/SetCompStrategy.class]] [checking org.overture.codegen.analysis.vdm.VarRenamer] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VarRenamer.class]] [checking org.overture.codegen.analysis.vdm.Renaming] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/Renaming.class]] [checking org.overture.codegen.analysis.vdm.VarShadowingRenameCollector] [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/expressions/SSetExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExp.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/expressions/SMapExp.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/statements/PStmtAlternativeBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStmtAlternative.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ADefPatternBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBindBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBind.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PStateDesignatorBase.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)]] [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/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/types/PField.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VarShadowingRenameCollector.class]] [checking org.overture.codegen.ir.TempVarNameGen] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/TempVarNameGen.class]] [checking org.overture.codegen.analysis.vdm.DefinitionInfo] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/DefinitionInfo.class]] [checking org.overture.codegen.visitor.ExportsVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ExportsVisitorIR.class]] [checking org.overture.codegen.trans.conc.EvalPermPredTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/EvalPermPredTrans.class]] [checking org.overture.codegen.trans.conc.ConcPrefixes] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/ConcPrefixes.class]] [checking org.overture.codegen.trans.conv.ObjectDesignatorToExpIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conv/ObjectDesignatorToExpIR.class]] [checking org.overture.codegen.trans.SlAccessTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/SlAccessTrans.class]] [checking org.overture.codegen.analysis.violations.ReservedWordsComparison] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/ReservedWordsComparison.class]] [checking org.overture.codegen.visitor.StmVisitorIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AExitStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AErrorStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/APeriodicStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ACyclesStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/ADurationStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AStartlistStmIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/statements/AStartStmIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/StmVisitorIR.class]] [checking org.overture.codegen.visitor.ImportVisitorIR] [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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SImportIRBase.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SValueImportBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ImportVisitorIR.class]] [checking org.overture.codegen.ir.IRConstants] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRConstants.class]] [checking org.overture.codegen.analysis.violations.InvalidNamesResult] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/InvalidNamesResult.class]] [checking org.overture.codegen.analysis.violations.Violation] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/Violation.class]] [checking org.overture.codegen.traces.IdentifierPatternCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/IdentifierPatternCollector.class]] [checking org.overture.codegen.traces.PatternTypeFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/PatternTypeFinder.class]] [checking org.overture.codegen.trans.PrePostTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PrePostTrans.class]] [checking org.overture.codegen.merging.TemplateData] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateData.class]] [checking org.overture.codegen.utils.AnalysisExceptionIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/AnalysisExceptionIR.class]] [checking org.overture.codegen.trans.PolyFuncTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PolyFuncTrans.class]] [checking org.overture.codegen.visitor.DeclVisitorIR] [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/definitions/traces/PTerm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/tokens/TStatic.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/Token.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/DeclVisitorIR.class]] [checking org.overture.codegen.visitor.MultipleBindVisitorIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMultipleBindBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/MultipleBindVisitorIR.class]] [checking org.overture.codegen.trans.IsExpTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SIsExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SIsExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IsExpTrans.class]] [checking org.overture.codegen.utils.Generated] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/Generated.class]] [checking org.overture.codegen.analysis.vdm.VdmAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/VdmAnalysis.class]] [checking org.overture.codegen.trans.patterns.PatternBlockData] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternBlockData.class]] [checking org.overture.codegen.trans.patterns.MismatchHandling] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/MismatchHandling.class]] [checking org.overture.codegen.visitor.ExportVisitorIR] [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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExportIRBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ExportVisitorIR.class]] [checking org.overture.codegen.trans.Exp2StmVarPrefixes] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/Exp2StmVarPrefixes.class]] [checking org.overture.codegen.visitor.ObjectDesignatorVisitorIR] [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/codegen/platform/target/classes/org/overture/codegen/visitor/ObjectDesignatorVisitorIR.class]] [checking org.overture.codegen.trans.AssignStmTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/AssignStmTrans.class]] [checking org.overture.codegen.trans.conv.StateDesignatorToExpIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conv/StateDesignatorToExpIR.class]] [checking org.overture.codegen.visitor.PatternVisitorIR] [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/intf/lex/ILexCharacterToken.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/ILexRealToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexStringToken.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/PatternVisitorIR.class]] [checking org.overture.codegen.trans.SlStateAccessTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/SlStateAccessTrans.class]] [checking org.overture.codegen.analysis.vdm.AbstractAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/AbstractAnalysis.class]] [checking org.overture.codegen.visitor.ModifierVisitorIR] [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[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PModifier.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SModifierIRBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ModifierVisitorIR.class]] [checking org.overture.codegen.ir.IRGenerator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRGenerator.class]] [checking org.overture.codegen.ir.IRStatus] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRStatus.class]] [checking org.overture.codegen.trans.ITotalTransformation] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ITotalTransformation.class]] [checking org.overture.codegen.trans.IPostCheckCreator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IPostCheckCreator.class]] [checking org.overture.codegen.traces.TermVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TermVisitorIR.class]] [checking org.overture.codegen.printer.DefaultConsolePrinter] [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/FilterOutputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]] [checking org.overture.codegen.printer.AbstractPrinter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/printer/DefaultConsolePrinter.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/printer/AbstractPrinter.class]] [checking org.overture.codegen.trans.LetBeStTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/LetBeStTrans.class]] [checking org.overture.codegen.trans.OldNameRenamer] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/OldNameRenamer.class]] [checking org.overture.codegen.visitor.StateDesignatorVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/StateDesignatorVisitorIR.class]] [checking org.overture.codegen.visitor.ExpVisitorIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATimeExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AThreadIdExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMkBasicExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AInSetBinaryExpIR.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetUnionBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetIntersectBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetDifferenceBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetSubsetBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASetProperSubsetBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistUnionUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistIntersectUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APowerSetUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SSetExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SQuantifierExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARangeSetExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AElseIfExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASubSeqExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistConcatUnaryExpIR.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/SSeqExp.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASeqModificationBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapOverrideBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACompBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SMapExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapRangeUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapUnionBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADistMergeUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADomainResToBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ADomainResByBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARangeResToBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARangeResByBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapInverseUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIndicesUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASuperVarExpIR.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/expressions/SNumericBinaryBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AMapIterationBinaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFuncIterationBinaryExpIR.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/SBooleanBinaryExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AFloorUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AAbsUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AHeadUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATailUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIsOfBaseClassExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASameBaseClassExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASameClassExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ExpVisitorIR.class]] [checking org.overture.codegen.merging.MergeContext] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/AbstractContext.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/Context.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/InternalContextBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/InternalHousekeepingContext.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/context/InternalEventContext.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergeContext.class]] [checking org.overture.codegen.trans.uniontypes.UnionTypeTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SRuntimeErrorExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SRuntimeErrorExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans$TypeFinder.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeTrans.class]] [checking org.overture.codegen.trans.uniontypes.UnionTypeVarPrefixes] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/UnionTypeVarPrefixes.class]] [checking org.overture.codegen.trans.patterns.DeclBlockPair] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/DeclBlockPair.class]] [checking org.overture.codegen.trans.ConstructorTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ConstructorTrans.class]] [checking org.overture.codegen.merging.TemplateManager] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeConstants.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/RuntimeLogger.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/resource/Resource.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/TemplateInitException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/VelocityException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateManager.class]] [checking org.overture.codegen.trans.quantifier.CounterData] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/CounterData.class]] [checking org.overture.codegen.trans.WhileStmTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/WhileStmTrans.class]] [checking org.overture.codegen.trans.conc.MainClassConcTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/MainClassConcTrans.class]] [checking org.overture.codegen.trans.letexps.IfExpTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/letexps/IfExpTrans.class]] [checking org.overture.codegen.trans.conc.SentinelTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/SentinelTrans.class]] [checking org.overture.codegen.trans.SeqConvTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AStringToSeqUnaryExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ASeqToStringUnaryExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/SeqConvTrans.class]] [checking org.overture.codegen.utils.GeneralCodeGenUtils] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMMessage.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/visitor/AbstractTypeCheckVisitor.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[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/SyntaxReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/URI.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneralCodeGenUtils$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneralCodeGenUtils.class]] [checking org.overture.codegen.ir.IREventCoordinator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IREventCoordinator.class]] [checking org.overture.codegen.ir.IREventObserver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IREventObserver.class]] [checking org.overture.codegen.trans.patterns.PatternTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APatternMatchRuntimeErrorExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATupleCompatibilityExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternTrans.class]] [checking org.overture.codegen.trans.patterns.PatternVarPrefixes] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternVarPrefixes.class]] [checking org.overture.codegen.trans.patterns.PatternInfo] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/patterns/PatternInfo.class]] [checking org.overture.codegen.merging.MergeVisitor] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/ResourceNotFoundException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/ParseErrorException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/exception/MethodInvocationException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/MergeVisitor.class]] [checking org.overture.codegen.merging.TemplateCallable] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateCallable.class]] [checking org.overture.codegen.trans.PreCheckTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PreCheckTrans.class]] [checking org.overture.codegen.analysis.violations.GeneratedVarComparison] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/GeneratedVarComparison.class]] [checking org.overture.codegen.ir.IRGeneratedTag] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRGeneratedTag.class]] [checking org.overture.codegen.trans.quantifier.Exists1QuantifierStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/quantifier/Exists1QuantifierStrategy.class]] [checking org.overture.codegen.trans.PostCheckTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/PostCheckTrans.class]] [checking org.overture.codegen.visitor.ImportsVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ImportsVisitorIR.class]] [checking org.overture.codegen.analysis.violations.VdmAstAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/VdmAstAnalysis$ViolationAnalysisApplication.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/VdmAstAnalysis.class]] [checking org.overture.codegen.analysis.violations.ViolationAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/ViolationAnalysis.class]] [checking org.overture.codegen.analysis.vdm.IdDesignatorOccurencesCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/IdDesignatorOccurencesCollector.class]] [checking org.overture.codegen.trans.BlockCleanupTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/BlockCleanupTrans.class]] [checking org.overture.codegen.ir.IROperatorInfo] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IROperatorInfo.class]] [checking org.overture.codegen.trans.comp.SeqCompStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/comp/SeqCompStrategy.class]] [checking org.overture.codegen.ir.CodeGenBase] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetEncoder.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/CodeGenBase$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/CodeGenBase.class]] [checking org.overture.codegen.utils.GeneratedData] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneratedData.class]] [checking org.overture.codegen.utils.GeneratedModule] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/utils/GeneratedModule.class]] [checking org.overture.codegen.visitor.ClassVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/ClassVisitorIR.class]] [checking org.overture.codegen.trans.let.LetBeStStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/let/LetBeStStrategy.class]] [checking org.overture.codegen.trans.DivideTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/DivideTrans.class]] [checking org.overture.codegen.analysis.vdm.IdStateDesignatorDefCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/IdStateDesignatorDefCollector.class]] [checking org.overture.codegen.analysis.violations.NameViolationAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/NameViolationAnalysis.class]] [checking org.overture.codegen.trans.uniontypes.NonDetStmTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/uniontypes/NonDetStmTrans.class]] [checking org.overture.codegen.trans.Exp2StmTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/Exp2StmTrans.class]] [checking org.overture.codegen.trans.iota.IotaStrategy] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIotaRuntimeErrorExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/iota/IotaStrategy.class]] [checking org.overture.codegen.trans.letexps.FuncTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/letexps/FuncTrans.class]] [checking org.overture.codegen.printer.MsgPrinter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/printer/MsgPrinter.class]] [checking org.overture.codegen.traces.TraceCoreDeclVisitorIR] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinitionBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceCoreDeclVisitorIR.class]] [checking org.overture.codegen.ir.IROperatorLookup] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IROperatorLookup.class]] [checking org.overture.codegen.trans.conc.MutexDeclTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/conc/MutexDeclTrans.class]] [checking org.overture.codegen.analysis.vdm.RenameAnalysis] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/RenameAnalysis.class]] [checking org.overture.codegen.traces.TraceDeclVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceDeclVisitorIR.class]] [checking org.overture.codegen.traces.TraceLetBeStStrategy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/traces/TraceLetBeStStrategy.class]] [checking org.overture.codegen.trans.CallObjStmTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/CallObjStmTrans.class]] [checking org.overture.codegen.analysis.vdm.NameCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/NameCollector.class]] [checking org.overture.codegen.ir.IRNamedTypeInvariantTag] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRNamedTypeInvariantTag.class]] [checking org.overture.codegen.trans.ModuleToClassTransformation] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ModuleToClassTransformation$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/ModuleToClassTransformation.class]] [checking org.overture.codegen.trans.AtomicStmTrans] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/AtomicStmTrans.class]] [checking org.overture.codegen.analysis.vdm.IdOccurencesCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/vdm/IdOccurencesCollector.class]] [checking org.overture.codegen.trans.IsExpSimplifyTrans] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ABoolIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANatIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ANat1IsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIntIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARatIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ARealIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ACharIsExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/ATokenIsExpIR.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/trans/IsExpSimplifyTrans.class]] [checking org.overture.codegen.visitor.BindVisitorIR] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/visitor/BindVisitorIR.class]] [checking org.overture.codegen.analysis.violations.TypenameComparison] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/analysis/violations/TypenameComparison.class]] [total 1554ms] [INFO] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java uses unchecked or unsafe operations. [INFO] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/trans/FieldOrderTrans.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ platform --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 12 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ platform --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 5 source files to /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/LibNameTester.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/TemplateManagerTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/LocalVarTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/util/FirstVarFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java/org/overture/codegen/tests/util/DeclAssistantTest.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/test/java,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/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/codegen/platform/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes,/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/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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar,/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/prettyprinting/prettyprinter/target/prettyprinter-2.6.5-SNAPSHOT.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,/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-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/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-collections/commons-collections/3.2.1/commons-collections-3.2.1.jar,/var/lib/jenkins/workspace/overture-test/.repository/commons-lang/commons-lang/2.4/commons-lang-2.4.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctruntime/target/ctruntime-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/core/combinatorialtesting/ctutils/target/ctutils-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/jgrapht/jgrapht-core/1.2.0/jgrapht-core-1.2.0.jar,/var/lib/jenkins/workspace/overture-test/.repository/log4j/log4j/1.2.17/log4j-1.2.17.jar,.] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.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/lex/Dialect.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/DeclAssistantIR.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[/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/File.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/parser/ParseException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/ADefaultClassDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/APlusNumericBinaryExpIR.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateData.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/merging/TemplateManager.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/Class.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.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/definitions/SClassDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/modules/AModuleModules.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 RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRGenerator.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRStatus.class]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/AIdentifierVarExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/TypeCheckerUtil$TypeCheckResult.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/AnalysisException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/DepthFirstAnalysisAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IAnalysis.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRConstants.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/ir/IRInfo.class]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/name/ATokenNameIR.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)]] [checking org.overture.codegen.tests.LibNameTester] [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/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/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/Boolean.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantBase.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/classes/org/overture/codegen/assistant/AssistantManager.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/LibNameTester.class]] [checking org.overture.codegen.tests.TemplateManagerTest] [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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/declarations/SClassDeclBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/PIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/Node.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/Template.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/org/apache/velocity/velocity/1.7/velocity-1.7.jar(org/apache/velocity/runtime/resource/Resource.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/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SNumericBinaryBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SBinaryExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIRBase.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/Error.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.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)]] [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/codegen/platform/target/test-classes/org/overture/codegen/tests/TemplateManagerTest.class]] [checking org.overture.codegen.tests.LocalVarTest] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SVarExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/expressions/SVarExpIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SExpIR.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/lang/Iterable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestionAnswer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IQuestion.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/analysis/intf/IAnswer.class)]] [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/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 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/node/Node.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinition.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/util/AbstractList.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExp.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/LocalVarTest.class]] [checking org.overture.codegen.tests.util.FirstVarFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/util/FirstVarFinder.class]] [checking org.overture.codegen.tests.util.DeclAssistantTest] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SDeclIR.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIRBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/ir/target/ir-2.6.5-SNAPSHOT.jar(org/overture/codegen/ir/SNameIR.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Deque.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Queue.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/test-classes/org/overture/codegen/tests/util/DeclAssistantTest.class]] [total 62ms] [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ platform --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.codegen.tests.LocalVarTest Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.892 sec - in org.overture.codegen.tests.LocalVarTest Running org.overture.codegen.tests.util.DeclAssistantTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 sec - in org.overture.codegen.tests.util.DeclAssistantTest Running org.overture.codegen.tests.TemplateManagerTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.233 sec - in org.overture.codegen.tests.TemplateManagerTest Results : Tests run: 17, Failures: 0, Errors: 0, Skipped: 0 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ platform --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ platform --- [INFO] Analyzed bundle 'The Code Generation Platform' with 158 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ platform --- [INFO] 4 warnings [WARNING] Javadoc Warnings [WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:77: warning: no description for @param [WARNING] * @param userCallables [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:60: warning: no description for @param [WARNING] * @param templateManager [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/MergeVisitor.java:61: warning: no description for @param [WARNING] * @param templateCallables [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/codegen/platform/src/main/java/org/overture/codegen/merging/TemplateManager.java:75: warning: no description for @param [WARNING] * @param templateLoadRef [WARNING] ^ [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT-javadoc.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ platform --- [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/platform/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/codegen/platform/target/platform-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/codegen/platform/2.6.5-SNAPSHOT/platform-2.6.5-SNAPSHOT-javadoc.jar