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 VDM Interpreter 2.6.5-SNAPSHOT [INFO] ------------------------------------------------------------------------ [INFO] [INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ interpreter --- [TASKS] Scanning folder '/var/lib/jenkins/workspace/overture-test/core/interpreter' for files matching the pattern '**/*.java' - excludes: **/target/* [TASKS] Found 309 files to scan for tasks Found 86 open tasks. [TASKS] Computing warning deltas based on reference build #199 [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ interpreter --- [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/interpreter/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) @ interpreter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 1 resource [INFO] [INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ interpreter --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 286 source files to /var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/type/SInvariantTypeAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/BusThread.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTBusCompletedMessage.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/PeriodicThread.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/ANamedTraceDefinitionAssistantInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/SetValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/CallSequence.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/Separate.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/PExpAssistantInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/BUSValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/BreakpointCondition.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTDeployObjectMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PMultipleBindAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ContextException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/MapValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/FCFSPolicy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTOperationMessage.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/ClassCommandReader.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenOperationEvent.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/RootContext.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/BreakpointManager.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/AFieldExpAssistantInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/PDefinitionAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/ConstrainedPatternChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TraceNode.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TraceReductionType.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenCpu.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/InitThread.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/CompFunctionValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/SequenceTraceNode.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/ObjectThread.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/IRuntimeValidatior.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ReferenceValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/VDMJ.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NameValuePair.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/IRuntimeState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/ValueCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TraceVariableList.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NameValuePairMap.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTBusActivateMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Stoppoint.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTBusMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ParameterValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/state/AModuleModulesRuntime.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/StatementTraceNode.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/QuantifierList.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/StdoutRedirector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NaturalValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NilValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenThread.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/ValuesDefinitionLocator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/IterFunctionValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NumericValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/RemoteInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTDeployStaticMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/state/StateDefinitionRuntimeState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/VoidValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ClassInvariantListener.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/VdmRuntimeError.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenClassDefinition.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/Console.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/AExplicitFunctionDefinitionAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/BinaryExpressionEvaluator.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SystemClock.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/DeadlineMet.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/state/SClassDefinitionRuntime.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/Redirector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTBusReplyRequestMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/VDMError.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/IIterableTraceNode.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TraceVariable.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/VdmRuntime.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/RemoteSession.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/APostOpExpAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/SeqValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/IO.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TraceVariableStatement.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ValueMap.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/CharacterValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTBusRequestMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTExtendedTextMessage.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/Signal.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ExitException.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/NamedValueLister.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/statement/StatementExpressionFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPXCmdOvertureCommandType.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/PatternMatchException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SchedulablePoolThread.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/RepeatTraceNode.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPFeatures.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/MessageRequest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTArchitectureMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/InvariantValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/ConcurrentTraceNode.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/stdlibs/CsvParser.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPOptionType.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/ISchedulableThread.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ClassContext.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/AsyncThread.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTThreadKillMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ObjectValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/type/ConcreteTypeInstantiator.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTThreadCreateMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessageReplyRequestEvent.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/State.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TraceExpander.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/IValidationExpression.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/VDMSL.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/ConjectureDefinition.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ThreadState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTDeclareBUSMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ICollectedRuntimeExceptions.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/DefinitionStatementFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/IntegerValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/CollectedContextException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/expression/SubExpressionsLocator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/util/ExitStatus.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/DebuggerException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/BooleanValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/LengthFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/util/LazyTestSequence.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/Holder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/Permutor.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/util/InterpreterUtil.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/RealValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/MultipleBindValuesCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Tracepoint.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/Verdict.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/PDefinitionListAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/GuardValueListener.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/RemoteControl.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/VoidReturnValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/TypeDefinitionChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/DebuggerReader.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/MainThread.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/DelegateExpressionEvaluator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/util/Delegate.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/AStateDefinitionAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/PermuteArray.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/MATH.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/BasicSchedulableThread.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/ast/expressions/BreakpointExpression.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpExpressionFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPExecProcesser.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/OldNameCollector.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPRedirect.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/ConjectureValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/UndefinedValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TypeCheckedTestSequence.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPOption.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/SourceFile.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PBindAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/RunState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/DefinitionValueChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/util/ModuleListInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/ModuleCommandReader.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/DEFAULT.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenTimeStamp.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/AllNamedValuesLocator.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/VDMMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/statement/PStmAssistantInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenBus.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/expression/ExpressionValueCollector.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTTextLogger.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/IntegerContainer.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/RecordValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/BindValueCollector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/type/PTypeAssistantInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ValueFactory.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/QuoteValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/LiteralEvaluator.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/VDMUtil.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/MessagePacket.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/FPPolicy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTThreadSwapMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/VDMRT.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/SolverFactory.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/CSV.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/BUSResource.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/state/ASystemClassDefinitionRuntime.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/DelegateStatementEvaluator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/Lock.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/statement/StatementFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/RuntimeValidator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/BasicRuntimeValidator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/ControlQueue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PPatternAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/ValueObserver.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/InvariantValueListener.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/CollectedExceptions.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/state/AImplicitFunctionDefinitionRuntimeState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ClassInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/InterpreterAssistantFactory.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/INextGenEvent.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPBreakpointType.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/TokenValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/LatexSourceFile.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ValueListenerList.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SchedulingPolicy.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/MessageResponse.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ValueException.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/ExpressionFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/CPUResource.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/BindState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenRTLogger.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ObjectContext.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenOperation.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/StderrRedirector.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReader.java]] [parsing completed 5ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/FunctionValue.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/IRTLogger.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadSwapEvent.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/TestRunner.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/FieldValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ValueSet.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ValueListener.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/util/ClassListInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/TimingInvariantsParser.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/util/Pair.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTDeclareCPUMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/AMapPatternMapletAssistantInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/CloneTrancientMemoryCache.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenObject.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/state/AExplicitFunctionDefinitionRuntimeState.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPErrorCode.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/InstanceVariableChecker.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/TransactionValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/ModuleInterpreter.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/UnaryExpressionEvaluator.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/StateContext.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/RationalValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/module/ModuleListAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/ValueList.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/ValueValidationExpression.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/stdlibs/CsvValueBuilder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/ACpuClassDefinitionAssistantInterpreter.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/CPUValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTThreadMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/Quantifier.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessageEvent.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReason.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java]] [parsing completed 4ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/FieldMap.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/definition/DefinitionRunTimeChecker.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/SingleBindValuesCollector.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/util/RandomList.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPContextType.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/AlternativeTraceNode.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/pattern/IdentifierPatternFinder.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/TupleValue.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NameValuePairList.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/Resource.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/stdlibs/CsvResult.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/IInterpreterAssistantFactory.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/NaturalOneValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/CTMainThread.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/VDMWarning.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/SClassDefinitionAssistantInterpreter.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/OperationValue.java]] [parsing completed 2ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/TestCase.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/ResourceScheduler.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/validation/OperationValidationExpression.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPCommandType.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/UpdatableValue.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/ReducedTestSequence.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/TestSuite.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/VDMPP.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPStatus.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/StatementEvaluator.java]] [parsing completed 5ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTMessage.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/debug/DBGPCommand.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadEvent.java]] [parsing completed 1ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java,/var/lib/jenkins/workspace/overture-test/core/interpreter/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/interpreter/target/classes,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-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/parser/target/parser-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/testframework/target/testframework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,.] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Formattable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/FormattableFlags.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Formatter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.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/intf/lex/ILexLocation.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/AParameterType.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/AUnknownType.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/config/Settings.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.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/String.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/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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/LexNameTokenMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/NumberedException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Class.class)]] [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/List.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/RandomAccess.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/util/Utils.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/types/AFieldField.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ARecordInvariantType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map$Entry.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/AbstractMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Stack.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/pattern/PTypeList.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/AImplicitFunctionDefinition.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/definitions/SClassDefinition.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/factory/AstFactory.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexNameToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/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/APatternTypePair.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/types/AFunctionType.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/pattern/PatternListTC.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/ListIterator.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/AStateDefinition.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/lex/Dialect.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexKeywordToken.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/lex/VDMToken.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/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/config/Release.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Hashtable.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/config/Properties.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ByteArrayInputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ByteArrayOutputStream.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/ObjectInputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectOutputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/messages/InternalException.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/util/HackLexNameToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/QuestionAnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/intf/IAnswer.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/patterns/AIdentifierPattern.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/assistant/IAstAssistantFactory.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/io/File.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileNotFoundException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/UnsupportedEncodingException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/InetAddress.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/Socket.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/SocketException.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/net/URISyntaxException.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/util/Arrays.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Random.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/definitions/APerSyncDefinition.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/lex/CoverageUtil.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/lex/LexLocationUtils.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexToken.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/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/syntax/ParserException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/obligation/ProofObligationList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/pub/IProofObligation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/pub/IProofObligationList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/util/Base64.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/ast/factory/AstFactoryTC.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ClassNotFoundException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.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/SMapType.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/definitions/ACpuClassDefinition.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/AExplicitFunctionDefinitionAssistantTC.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/traces/ATraceDefinitionTerm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/contexts/POContextStack.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/pub/ProofObligationGenerator.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/assistant/definition/PDefinitionAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/contexts/PONameContext.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/PDefinitionListAssistantTC.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/AClassClassDefinition.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/AInheritedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/APrivateAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/AProtectedAccess.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/APublicAccess.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/lex/LexIntegerToken.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/SClassDefinitionAssistantTC.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/APostOpExp.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/util/modules/CombinedDefaultModule.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.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/patterns/AMapletPatternMaplet.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/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/patterns/PMultipleBind.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/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[/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/assistant/type/PTypeAssistant.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantType.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/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/AConcatenationPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AExpressionPattern.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/AMapPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AMapUnionPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ANamePatternPair.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/AObjectPattern.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/ASeqPattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/ASetPattern.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/patterns/ATuplePattern.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/AUnionPattern.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/FileReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/TreeMap.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/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/messages/VDMErrorsException.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/FlatEnvironment.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ModuleEnvironment.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/PrivateClassEnvironment.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/visitor/TypeCheckVisitor.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Properties.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Dictionary.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[/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/RuntimeException.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/Writer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AutoCloseable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.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/ACallStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/lex/BacktrackInputReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/ArrayBlockingQueue.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/BlockingQueue.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/RejectedExecutionException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/RejectedExecutionHandler.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/SynchronousQueue.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/ThreadPoolExecutor.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/TimeUnit.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Runnable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Thread.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/AbstractExecutorService.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/ExecutorService.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/Executor.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/AIntNumericBasicType.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/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/AQuoteType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexStringToken.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/SSeqType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASet1SetType.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/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/ATokenBasicType.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/regex/Matcher.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Pattern.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/InputStreamReader.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/FlatCheckedEnvironment.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/assistant/definition/PDefinitionSet.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnswerAdaptor.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/util/NotSupportedError.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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/StringWriter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/InvocationTargetException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Method.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Modifier.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/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/AEqualsDefinition.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/AValueDefinition.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/types/AVoidType.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/ACompBinaryExp.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/ADivideNumericBinaryExp.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/ADomainResToBinaryExp.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/AGreaterEqualNumericBinaryExp.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/AImpliesBooleanBinaryExp.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/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/AMapUnionBinaryExp.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/ANotEqualBinaryExp.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/AOrBooleanBinaryExp.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/APlusPlusBinaryExp.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/ARangeResByBinaryExp.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/ARemNumericBinaryExp.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/ASetDifferenceBinaryExp.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/ASetUnionBinaryExp.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/ASubsetBinaryExp.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/ATimesNumericBinaryExp.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/ACardinalityUnaryExp.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/ADistIntersectUnaryExp.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/ADistUnionUnaryExp.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/AFloorUnaryExp.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/AIndicesUnaryExp.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/AMapDomainUnaryExp.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/AMapRangeUnaryExp.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/APowerSetUnaryExp.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/ATailUnaryExp.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/AUnaryPlusUnaryExp.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/ACharLiteralExp.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/AQuoteLiteralExp.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/AStringLiteralExp.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileOutputStream.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/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/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/AImportedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/ALocalDefinition.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/AUntypedDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AAlwaysStm.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/statements/AAtomicStm.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/ACasesStm.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/AElseIfStm.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/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/AForPatternBindStm.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/ALetBeStStm.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/AReturnStm.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/statements/AStopStm.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/statements/AWhileStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/SSimpleBlockStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/ASetSetType.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/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/ALetBeStBindingTraceDefinition.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceDefinition.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/zip/GZIPInputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/zip/GZIPOutputStream.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/ModuleReader.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ModuleTypeChecker.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/ACaseAlternative.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[/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/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/SBinaryExp.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[/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/io/StringReader.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/definitions/AMultiBindListDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ADefExp.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/AExistsExp.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/AForAllExp.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/AIotaExp.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/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/ALambdaExp.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/ALetDefExp.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/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/AMkBasicExp.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/AMuExp.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/ANewExp.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/APreExp.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/ARecordModifier.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/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/ASelfExp.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/ASeqEnumSeqExp.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/ASetEnumSetExp.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/AStateInitExp.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/expressions/ASubseqExp.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/ATimeExp.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/AUndefinedExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/AVariableExp.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/AErrorCase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/PExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SMapExp.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/expressions/SSetExp.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/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/patterns/ASeqBind.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/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/ClassTypeChecker.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicType.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicType.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/statements/AApplyObjectDesignator.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/AClassInvariantStm.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/AFieldObjectDesignator.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/AIdentifierObjectDesignator.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/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/ANewObjectDesignator.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/APeriodicStm.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/ASkipStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASpecificationStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASporadicStm.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/ASubclassResponsibilityStm.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[/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/FileWriter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Document.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Element.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Node.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/NodeList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/SAXException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/DocumentBuilderFactory.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/parsers/ParserConfigurationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/dom/DOMSource.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/stream/StreamResult.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathExpressionException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/TransformerException.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[/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/annotation/Target.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/sun/misc/Contended.class)]] [checking org.overture.interpreter.values.Value] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Byte.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.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/StringBuffer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Locale.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/PTypeBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SInvariantTypeBase.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/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/interpreter/target/classes/org/overture/interpreter/values/Value.class]] [checking org.overture.interpreter.runtime.Context] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/BiFunction.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/BiConsumer.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/LexNameTokenAssistant.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexToken.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectOutput.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/DataOutput.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectStreamConstants.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/ObjectInput.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/DataInput.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AssertionError.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Context.class]] [checking org.overture.interpreter.runtime.ValueException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ValueException.class]] [checking org.overture.interpreter.values.ValueListenerList] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Spliterator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Comparator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/UnaryOperator.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Predicate.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/function/Consumer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Enumeration.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/stream/Stream.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueListenerList.class]] [checking org.overture.interpreter.values.ValueListener] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueListener.class]] [checking org.overture.interpreter.values.ValueList] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueList.class]] [checking org.overture.interpreter.values.RecordValue] [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)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/type/ARecordInvariantTypeAssistantTC.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/RecordValue.class]] [checking org.overture.interpreter.values.ValueSet] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueSet.class]] [checking org.overture.interpreter.values.ValueMap] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CloneNotSupportedException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashMap$Entry.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueMap.class]] [checking org.overture.interpreter.values.FunctionValue] [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/SFunctionDefinition.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/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)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/AImplicitFunctionDefinitionAssistantTC.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/ExternalNode.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/modules/PModules.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/FunctionValue.class]] [checking org.overture.interpreter.messages.rtlog.RTMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTMessage$MessageType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTMessage.class]] [checking org.overture.interpreter.values.OperationValue] [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/definitions/SOperationDefinitionBase.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/types/AAccessSpecifierAccessSpecifier.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/SClassDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBooleanBinaryBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBinaryExpBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/OperationValue.class]] [checking org.overture.interpreter.values.ObjectValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ObjectValue.class]] [checking org.overture.interpreter.runtime.CloneTrancientMemoryCache] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/CloneTrancientMemoryCache$EntryPair.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/CloneTrancientMemoryCache.class]] [checking org.overture.interpreter.runtime.ThreadState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ThreadState.class]] [checking org.overture.interpreter.assistant.IInterpreterAssistantFactory] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/IInterpreterAssistantFactory.class]] [checking org.overture.interpreter.debug.DBGPReader] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/util/ConfigBase.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalArgumentException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilenameFilter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileFilter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ClassLoader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InstantiationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/SortedMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Math.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StackOverflowError.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/VirtualMachineError.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ArrayIndexOutOfBoundsException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IndexOutOfBoundsException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NumberFormatException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/net/UnknownHostException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchFieldError.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReader$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReader$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReader.class]] [checking org.overture.interpreter.values.CPUValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/CPUValue.class]] [checking org.overture.interpreter.runtime.RootContext] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/RootContext.class]] [checking org.overture.interpreter.values.NameValuePairList] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NameValuePairList.class]] [checking org.overture.interpreter.values.NameValuePair] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NameValuePair.class]] [checking org.overture.interpreter.values.FieldMap] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/FieldMap.class]] [checking org.overture.interpreter.values.FieldValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/FieldValue.class]] [checking org.overture.interpreter.values.NameValuePairMap] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NameValuePairMap.class]] [checking org.overture.interpreter.solver.IConstraintSolver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/solver/IConstraintSolver.class]] [checking org.overture.interpreter.runtime.ObjectContext] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ObjectContext.class]] [checking org.overture.interpreter.scheduler.Lock] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/Lock.class]] [checking org.overture.interpreter.messages.rtlog.RTDeployStaticMessage] [checking org.overture.interpreter.messages.rtlog.RTArchitectureMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTDeployStaticMessage.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTArchitectureMessage.class]] [checking org.overture.interpreter.messages.rtlog.RTThreadSwapMessage] [checking org.overture.interpreter.messages.rtlog.RTThreadMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTThreadSwapMessage$SwapType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTThreadSwapMessage$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTThreadSwapMessage.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTThreadMessage.class]] [checking org.overture.interpreter.scheduler.SystemClock] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SystemClock$TimeUnit.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SystemClock.class]] [checking org.overture.interpreter.scheduler.CPUResource] [checking org.overture.interpreter.scheduler.Resource] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/CPUResource$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/CPUResource.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/Resource.class]] [checking org.overture.interpreter.values.ClassInvariantListener] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ClassInvariantListener.class]] [checking org.overture.interpreter.values.MapValue] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SMapTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/MapValue.class]] [checking org.overture.interpreter.assistant.definition.ACpuClassDefinitionAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/ACpuClassDefinitionAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.definition.AExplicitFunctionDefinitionAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/AExplicitFunctionDefinitionAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.definition.ANamedTraceDefinitionAssistantInterpreter] [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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/ANamedTraceDefinitionAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.definition.AStateDefinitionAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/AStateDefinitionAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.definition.PDefinitionAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/PDefinitionAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.definition.PDefinitionListAssistantInterpreter] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/pub/IPOContextStack.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/contexts/POContext.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/pog/target/pog-2.6.5-SNAPSHOT.jar(org/overture/pog/pub/IPOContext.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/PDefinitionListAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.definition.SClassDefinitionAssistantInterpreter] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/PAccessBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/definition/SClassDefinitionAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.expression.AFieldExpAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/expression/AFieldExpAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.expression.APostOpExpAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/expression/APostOpExpAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.expression.PExpAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/expression/PExpAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.module.AModuleModulesAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.module.ModuleListAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/module/ModuleListAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.pattern.AMapPatternMapletAssistantInterpreter] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMapletBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PMaplet.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/pattern/AMapPatternMapletAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.pattern.PBindAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/pattern/PBindAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.pattern.PMultipleBindAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/pattern/PMultipleBindAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.pattern.PPatternAssistantInterpreter] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PPatternBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/pattern/PPatternAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.statement.PStmAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/statement/PStmAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.type.PTypeAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/type/PTypeAssistantInterpreter.class]] [checking org.overture.interpreter.assistant.type.SInvariantTypeAssistantInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/type/SInvariantTypeAssistantInterpreter.class]] [checking org.overture.interpreter.eval.BindState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/BindState.class]] [checking org.overture.interpreter.utilities.pattern.AllNamedValuesLocator] [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/ILexQuoteToken.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/interpreter/target/classes/org/overture/interpreter/utilities/pattern/AllNamedValuesLocator$Newquestion.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/AllNamedValuesLocator.class]] [checking org.overture.interpreter.traces.TraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceNode.class]] [checking org.overture.interpreter.runtime.Interpreter] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FileDescriptor.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/VDMError.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Interpreter$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Interpreter.class]] [checking org.overture.interpreter.debug.DBGPStatus] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPStatus.class]] [checking org.overture.interpreter.debug.DBGPReason] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReason.class]] [checking org.overture.interpreter.debug.DBGPCommandType] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPCommandType.class]] [checking org.overture.interpreter.debug.DBGPFeatures] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPFeatures.class]] [checking org.overture.interpreter.runtime.Breakpoint] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/parser/target/parser-2.6.5-SNAPSHOT.jar(org/overture/parser/syntax/SyntaxReader.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Breakpoint$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Breakpoint.class]] [checking org.overture.interpreter.debug.RemoteControl] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/RemoteControl.class]] [checking org.overture.interpreter.debug.DBGPErrorCode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPErrorCode.class]] [checking org.overture.interpreter.debug.DBGPContextType] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPContextType.class]] [checking org.overture.interpreter.runtime.ContextException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ContextException.class]] [checking org.overture.interpreter.debug.DBGPCommand] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPCommand.class]] [checking org.overture.interpreter.debug.DBGPException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPException.class]] [checking org.overture.interpreter.scheduler.ResourceScheduler] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InterruptedException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/ResourceScheduler.class]] [checking org.overture.interpreter.messages.Redirector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/Redirector.class]] [checking org.overture.interpreter.scheduler.ISchedulableThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/ISchedulableThread.class]] [checking org.overture.interpreter.scheduler.SchedulingPolicy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SchedulingPolicy.class]] [checking org.overture.interpreter.traces.TestSequence] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TestSequence$TestData.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TestSequence$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TestSequence.class]] [checking org.overture.interpreter.traces.CallSequence] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/CallSequence$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/CallSequence.class]] [checking org.overture.interpreter.traces.TraceReductionType] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceReductionType.class]] [checking org.overture.interpreter.runtime.StateContext] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/StateContext.class]] [checking org.overture.interpreter.util.ClassListInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/ClassListInterpreter.class]] [checking org.overture.interpreter.util.ModuleListInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/ModuleListInterpreter.class]] [checking org.overture.interpreter.traces.TraceVariableList] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceVariableList.class]] [checking org.overture.interpreter.traces.TraceVariable] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceVariable.class]] [checking org.overture.interpreter.runtime.SourceFile] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/SourceFile.class]] [checking org.overture.interpreter.runtime.BreakpointCondition] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/BreakpointCondition.class]] [checking org.overture.interpreter.debug.RemoteInterpreter] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractQueue.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/RemoteInterpreter$Call$CallType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/RemoteInterpreter$Call.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/RemoteInterpreter$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/RemoteInterpreter.class]] [checking org.overture.interpreter.debug.DBGPOption] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPOption.class]] [checking org.overture.interpreter.debug.DBGPOptionType] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPOptionType.class]] [checking org.overture.interpreter.scheduler.MainThread] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/Callable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/ExecutionException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/TimeoutException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/Future.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/ThreadFactory.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ThreadDeath.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable$PrintStreamOrWriter.class)]] [checking org.overture.interpreter.scheduler.SchedulablePoolThread] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/concurrent/RunnableFuture.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/MainThread.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SchedulablePoolThread$VdmThreadPoolExecutor$VdmjRejectedExecutionHandler.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SchedulablePoolThread$VdmThreadPoolExecutor.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SchedulablePoolThread$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SchedulablePoolThread.class]] [checking org.overture.interpreter.debug.DBGPRedirect] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPRedirect.class]] [checking org.overture.interpreter.scheduler.RunState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/RunState.class]] [checking org.overture.interpreter.scheduler.Signal] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/Signal.class]] [checking org.overture.interpreter.values.BUSValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/BUSValue.class]] [checking org.overture.interpreter.values.ValueFactory] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueFactory.class]] [checking org.overture.interpreter.scheduler.BUSResource] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/BUSResource$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/BUSResource.class]] [checking org.overture.interpreter.scheduler.MessageRequest] [checking org.overture.interpreter.scheduler.MessagePacket] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/MessageRequest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/MessagePacket.class]] [checking org.overture.interpreter.scheduler.MessageResponse] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/MessageResponse.class]] [checking org.overture.interpreter.values.BooleanValue] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SBasicTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/BooleanValue.class]] [checking org.overture.interpreter.values.CharacterValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/CharacterValue.class]] [checking org.overture.interpreter.values.IntegerValue] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SNumericBasicBase.class)]] [checking org.overture.interpreter.values.RationalValue] [checking org.overture.interpreter.values.RealValue] [checking org.overture.interpreter.values.NumericValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/IntegerValue.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/RationalValue.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/RealValue.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NumericValue.class]] [checking org.overture.interpreter.values.NaturalValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NaturalValue.class]] [checking org.overture.interpreter.values.NaturalOneValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NaturalOneValue.class]] [checking org.overture.interpreter.values.NilValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NilValue.class]] [checking org.overture.interpreter.values.QuoteValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/QuoteValue.class]] [checking org.overture.interpreter.values.SeqValue] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSeqTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/SeqValue.class]] [checking org.overture.interpreter.values.SetValue] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/types/SSetTypeBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/SetValue.class]] [checking org.overture.interpreter.values.TupleValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/TupleValue.class]] [checking org.overture.interpreter.values.TokenValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/TokenValue.class]] [checking org.overture.interpreter.values.InvariantValue] [checking org.overture.interpreter.values.ReferenceValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/InvariantValue.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ReferenceValue.class]] [checking org.overture.interpreter.scheduler.ControlQueue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/ControlQueue.class]] [checking org.overture.interpreter.scheduler.Holder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/Holder.class]] [checking org.overture.interpreter.scheduler.BusThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/BusThread$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/BusThread.class]] [checking org.overture.interpreter.messages.rtlog.RTBusCompletedMessage] [checking org.overture.interpreter.messages.rtlog.RTBusMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTBusCompletedMessage.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTBusMessage.class]] [checking org.overture.interpreter.scheduler.PeriodicThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/PeriodicThread.class]] [checking org.overture.interpreter.runtime.validation.Separate] [checking org.overture.interpreter.runtime.validation.ConjectureDefinition] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/Separate.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/ConjectureDefinition.class]] [checking org.overture.interpreter.runtime.validation.OperationValidationExpression] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/OperationValidationExpression$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/OperationValidationExpression.class]] [checking org.overture.interpreter.runtime.validation.IValidationExpression] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/IValidationExpression.class]] [checking org.overture.interpreter.runtime.validation.ValueValidationExpression] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/ValueValidationExpression$BinaryOps.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/ValueValidationExpression$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/ValueValidationExpression.class]] [checking org.overture.interpreter.runtime.validation.ConjectureValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/ConjectureValue.class]] [checking org.overture.interpreter.runtime.validation.ValueObserver] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/ValueObserver.class]] [checking org.overture.interpreter.messages.rtlog.RTDeployObjectMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTDeployObjectMessage.class]] [checking org.overture.interpreter.scheduler.FCFSPolicy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/FCFSPolicy$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/FCFSPolicy.class]] [checking org.overture.interpreter.messages.rtlog.RTOperationMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTOperationMessage.class]] [checking org.overture.interpreter.commands.ClassCommandReader] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/MatchResult.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetDecoder.class)]] [checking org.overture.interpreter.commands.CommandReader] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/commands/ClassCommandReader.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/commands/CommandReader.class]] [checking org.overture.interpreter.runtime.ClassInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ClassInterpreter.class]] [checking org.overture.interpreter.util.ExitStatus] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/ExitStatus.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenOperationEvent] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenOperationEvent$OperationEventType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenOperationEvent$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenOperationEvent.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.INextGenEvent] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/INextGenEvent.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThread$ThreadType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThread.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenTimeStamp] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenTimeStamp.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenOperation] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenOperation.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenObject] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenObject.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenCpu] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenCpu.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenClassDefinition] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenClassDefinition.class]] [checking org.overture.interpreter.debug.BreakpointManager] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/BreakpointManager.class]] [checking org.overture.interpreter.utilities.pattern.ConstrainedPatternChecker] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/pattern/PPatternListAssistantTC.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/ConstrainedPatternChecker.class]] [checking org.overture.interpreter.scheduler.InitThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/InitThread.class]] [checking org.overture.interpreter.values.CompFunctionValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/CompFunctionValue.class]] [checking org.overture.interpreter.traces.SequenceTraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/SequenceTraceNode.class]] [checking org.overture.interpreter.traces.IIterableTraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/IIterableTraceNode.class]] [checking org.overture.interpreter.scheduler.ObjectThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/ObjectThread.class]] [checking org.overture.interpreter.runtime.validation.IRuntimeValidatior] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/IRuntimeValidatior.class]] [checking org.overture.interpreter.scheduler.AsyncThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/AsyncThread.class]] [checking org.overture.interpreter.VDMJ] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/VDMJ$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/VDMJ.class]] [checking org.overture.interpreter.runtime.IRuntimeState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/IRuntimeState.class]] [checking org.overture.interpreter.utilities.pattern.ValueCollector] [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/interpreter/target/classes/org/overture/interpreter/utilities/pattern/ValueCollector.class]] [checking org.overture.interpreter.messages.rtlog.RTBusActivateMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTBusActivateMessage.class]] [checking org.overture.interpreter.runtime.Stoppoint] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Stoppoint.class]] [checking org.overture.interpreter.values.ParameterValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ParameterValue.class]] [checking org.overture.interpreter.runtime.state.AModuleModulesRuntime] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/state/AModuleModulesRuntime.class]] [checking org.overture.interpreter.util.Delegate] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NullPointerException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Executable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/AccessibleObject.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/typechecker/target/typechecker-2.6.5-SNAPSHOT.jar(org/overture/typechecker/assistant/definition/AImplicitOperationDefinitionAssistantTC.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Member.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/Delegate.class]] [checking org.overture.interpreter.traces.StatementTraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/StatementTraceNode.class]] [checking org.overture.interpreter.values.QuantifierList] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/QuantifierList.class]] [checking org.overture.interpreter.values.Quantifier] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/Quantifier.class]] [checking org.overture.interpreter.runtime.PatternMatchException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/PatternMatchException.class]] [checking org.overture.interpreter.messages.StdoutRedirector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/StdoutRedirector$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/StdoutRedirector.class]] [checking org.overture.interpreter.utilities.definition.ValuesDefinitionLocator] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/patterns/PBindBase.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/ValuesDefinitionLocator.class]] [checking org.overture.interpreter.values.IterFunctionValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/IterFunctionValue.class]] [checking org.overture.interpreter.runtime.state.StateDefinitionRuntimeState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/state/StateDefinitionRuntimeState.class]] [checking org.overture.interpreter.values.State] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/State.class]] [checking org.overture.interpreter.values.UpdatableValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/UpdatableValue.class]] [checking org.overture.interpreter.values.VoidValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/VoidValue.class]] [checking org.overture.interpreter.runtime.VdmRuntimeError] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/VdmRuntimeError.class]] [checking org.overture.interpreter.messages.Console] [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/interpreter/target/classes/org/overture/interpreter/messages/Console$DisabledStdOut.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/Console.class]] [checking org.overture.interpreter.eval.BinaryExpressionEvaluator] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SUnaryExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SBooleanBinaryExp.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SNumericBinaryExp.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ArithmeticException.class)]] [checking org.overture.interpreter.eval.UnaryExpressionEvaluator] [checking org.overture.interpreter.eval.LiteralEvaluator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/BinaryExpressionEvaluator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/UnaryExpressionEvaluator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/LiteralEvaluator.class]] [checking org.overture.interpreter.runtime.validation.DeadlineMet] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/DeadlineMet.class]] [checking org.overture.interpreter.runtime.state.SClassDefinitionRuntime] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/state/SClassDefinitionRuntime.class]] [checking org.overture.interpreter.messages.rtlog.RTBusReplyRequestMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTBusReplyRequestMessage.class]] [checking org.overture.interpreter.messages.VDMError] [checking org.overture.interpreter.messages.VDMMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/VDMError.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/VDMMessage.class]] [checking org.overture.interpreter.runtime.VdmRuntime] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/VdmRuntime.class]] [checking org.overture.interpreter.runtime.state.ASystemClassDefinitionRuntime] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/state/ASystemClassDefinitionRuntime.class]] [checking org.overture.interpreter.runtime.state.AImplicitFunctionDefinitionRuntimeState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/state/AImplicitFunctionDefinitionRuntimeState.class]] [checking org.overture.interpreter.runtime.state.AExplicitFunctionDefinitionRuntimeState] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/state/AExplicitFunctionDefinitionRuntimeState.class]] [checking RemoteSession] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/RemoteSession.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenBusMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessage.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenBus] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenBus.class]] [checking IO] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/IO.class]] [checking org.overture.interpreter.messages.rtlog.RTLogger] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTLogger.class]] [checking org.overture.interpreter.messages.rtlog.IRTLogger] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/IRTLogger.class]] [checking org.overture.interpreter.traces.TraceVariableStatement] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceVariableStatement.class]] [checking org.overture.interpreter.messages.rtlog.RTBusRequestMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTBusRequestMessage.class]] [checking org.overture.interpreter.messages.rtlog.RTExtendedTextMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTExtendedTextMessage.class]] [checking org.overture.interpreter.runtime.ExitException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ExitException.class]] [checking org.overture.interpreter.utilities.definition.NamedValueLister] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/AEqRelation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/PRelationBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/PRelation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/relations/AOrdRelation.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/NamedValueLister.class]] [checking org.overture.interpreter.utilities.statement.StatementExpressionFinder] [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/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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/statement/StatementExpressionFinder.class]] [checking org.overture.interpreter.debug.DBGPXCmdOvertureCommandType] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPXCmdOvertureCommandType.class]] [checking org.overture.interpreter.traces.RepeatTraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/RepeatTraceNode.class]] [checking org.overture.interpreter.traces.util.Pair] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/util/Pair.class]] [checking org.overture.interpreter.traces.ConcurrentTraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/ConcurrentTraceNode.class]] [checking org.overture.interpreter.utilities.stdlibs.CsvParser] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/stdlibs/CsvParser.class]] [checking org.overture.interpreter.utilities.stdlibs.CsvValueBuilder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/stdlibs/CsvValueBuilder.class]] [checking org.overture.interpreter.utilities.stdlibs.CsvResult] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/stdlibs/CsvResult.class]] [checking org.overture.interpreter.runtime.ClassContext] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ClassContext.class]] [checking org.overture.interpreter.messages.rtlog.RTThreadKillMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTThreadKillMessage.class]] [checking org.overture.interpreter.utilities.type.ConcreteTypeInstantiator] [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/ASeqSeqType.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/type/ConcreteTypeInstantiator.class]] [checking org.overture.interpreter.messages.rtlog.RTThreadCreateMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTThreadCreateMessage.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenBusMessageReplyRequestEvent] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenBusMessageEvent] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessageReplyRequestEvent.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessageEvent$NextGenBusMessageEventType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessageEvent$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenBusMessageEvent.class]] [checking org.overture.interpreter.traces.TraceExpander] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/definitions/traces/PTraceCoreDefinitionBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignator.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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceExpander.class]] [checking org.overture.interpreter.VDMSL] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/zip/InflaterInputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterInputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/zip/DeflaterOutputStream.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/VDMSL.class]] [checking org.overture.interpreter.runtime.ModuleInterpreter] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ModuleInterpreter.class]] [checking org.overture.interpreter.messages.rtlog.RTDeclareBUSMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTDeclareBUSMessage.class]] [checking org.overture.interpreter.runtime.ICollectedRuntimeExceptions] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ICollectedRuntimeExceptions.class]] [checking org.overture.interpreter.utilities.definition.DefinitionStatementFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/DefinitionStatementFinder.class]] [checking org.overture.interpreter.runtime.CollectedContextException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/CollectedContextException.class]] [checking org.overture.interpreter.utilities.expression.SubExpressionsLocator] [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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/expression/SubExpressionsLocator.class]] [checking org.overture.interpreter.runtime.DebuggerException] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/DebuggerException.class]] [checking org.overture.interpreter.utilities.pattern.LengthFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/LengthFinder.class]] [checking org.overture.interpreter.traces.util.LazyTestSequence] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/util/LazyTestSequence$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/util/LazyTestSequence.class]] [checking org.overture.interpreter.traces.Permutor] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/Permutor.class]] [checking org.overture.interpreter.util.InterpreterUtil] [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)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/InterpreterUtil$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/InterpreterUtil.class]] [checking org.overture.interpreter.debug.DBGPExecProcesser] [checking org.overture.interpreter.commands.ModuleCommandReader] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPExecProcesser$DBGPExecResult.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPExecProcesser$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPExecProcesser$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPExecProcesser.class]] [checking org.overture.interpreter.debug.DBGPReaderV2] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReaderV2$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReaderV2$2.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPReaderV2.class]] [checking org.overture.interpreter.utilities.pattern.MultipleBindValuesCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/MultipleBindValuesCollector.class]] [checking org.overture.interpreter.runtime.Tracepoint] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/Tracepoint.class]] [checking org.overture.interpreter.traces.Verdict] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/Verdict.class]] [checking org.overture.interpreter.values.GuardValueListener] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/GuardValueListener.class]] [checking org.overture.interpreter.values.VoidReturnValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/VoidReturnValue.class]] [checking org.overture.interpreter.utilities.definition.TypeDefinitionChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/TypeDefinitionChecker.class]] [checking org.overture.interpreter.commands.DebuggerReader] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/commands/DebuggerReader.class]] [checking org.overture.interpreter.eval.DelegateExpressionEvaluator] [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/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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCaseBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PCase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSeqExpBase.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/expressions/SSetExpBase.class)]] [checking org.overture.interpreter.eval.ExpressionEvaluator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/DelegateExpressionEvaluator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/ExpressionEvaluator$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/ExpressionEvaluator.class]] [checking org.overture.interpreter.traces.PermuteArray] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/PermuteArray.class]] [checking MATH] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/MATH.class]] [checking org.overture.interpreter.scheduler.BasicSchedulableThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/BasicSchedulableThread$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/BasicSchedulableThread.class]] [checking org.overture.interpreter.ast.expressions.BreakpointExpression] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/ast/expressions/BreakpointExpression$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/ast/expressions/BreakpointExpression.class]] [checking org.overture.interpreter.utilities.expression.ExpExpressionFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/expression/ExpExpressionFinder.class]] [checking org.overture.interpreter.utilities.OldNameCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/OldNameCollector.class]] [checking org.overture.interpreter.values.UndefinedValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/UndefinedValue.class]] [checking org.overture.interpreter.traces.TypeCheckedTestSequence] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TypeCheckedTestSequence.class]] [checking org.overture.interpreter.utilities.definition.DefinitionValueChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/DefinitionValueChecker.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/commands/ModuleCommandReader.class]] [checking DEFAULT] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/DEFAULT.class]] [checking org.overture.interpreter.utilities.expression.ExpressionValueCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/expression/ExpressionValueCollector.class]] [checking org.overture.interpreter.messages.rtlog.RTTextLogger] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTTextLogger.class]] [checking org.overture.interpreter.runtime.validation.IntegerContainer] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/IntegerContainer.class]] [checking org.overture.interpreter.utilities.pattern.BindValueCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/BindValueCollector.class]] [checking VDMUtil] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/VDMUtil.class]] [checking org.overture.interpreter.scheduler.FPPolicy] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/FPPolicy.class]] [checking org.overture.interpreter.VDMRT] [checking org.overture.interpreter.VDMPP] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/VDMRT.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/VDMPP.class]] [checking org.overture.interpreter.utilities.type.AllValuesCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/type/AllValuesCollector.class]] [checking org.overture.interpreter.solver.SolverFactory] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/Constructor.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/solver/SolverFactory.class]] [checking CSV] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/CSV$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/CSV.class]] [checking org.overture.interpreter.eval.DelegateStatementEvaluator] [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/SSimpleBlockStmBase.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/statements/PObjectDesignatorBase.class)]] [checking org.overture.interpreter.eval.StatementEvaluator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/DelegateStatementEvaluator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/eval/StatementEvaluator.class]] [checking org.overture.interpreter.utilities.statement.StatementFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/statement/StatementFinder.class]] [checking org.overture.interpreter.runtime.RuntimeValidator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/RuntimeValidator.class]] [checking org.overture.interpreter.runtime.validation.BasicRuntimeValidator] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/BasicRuntimeValidator.class]] [checking org.overture.interpreter.values.InvariantValueListener] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/InvariantValueListener.class]] [checking org.overture.interpreter.runtime.CollectedExceptions] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/CollectedExceptions.class]] [checking org.overture.interpreter.assistant.InterpreterAssistantFactory] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/assistant/InterpreterAssistantFactory.class]] [checking org.overture.interpreter.debug.DBGPBreakpointType] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/debug/DBGPBreakpointType.class]] [checking org.overture.interpreter.runtime.LatexSourceFile] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/LatexSourceFile$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/LatexSourceFile.class]] [checking org.overture.interpreter.utilities.definition.ExpressionFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/ExpressionFinder.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenThreadSwapEvent] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenThreadEvent] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadSwapEvent$ThreadEventSwapType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadSwapEvent$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadSwapEvent.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadEvent$ThreadEventType.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadEvent$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenThreadEvent.class]] [checking org.overture.interpreter.messages.rtlog.nextgen.NextGenRTLogger] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenRTLogger$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/nextgen/NextGenRTLogger.class]] [checking org.overture.interpreter.messages.StderrRedirector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/StderrRedirector$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/StderrRedirector.class]] [checking TestRunner] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/TestRunner.class]] [checking org.overture.interpreter.runtime.validation.TimingInvariantsParser] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/validation/TimingInvariantsParser.class]] [checking org.overture.interpreter.messages.rtlog.RTDeclareCPUMessage] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/rtlog/RTDeclareCPUMessage.class]] [checking org.overture.interpreter.utilities.definition.InstanceVariableChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/InstanceVariableChecker.class]] [checking org.overture.interpreter.values.TransactionValue] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/TransactionValue.class]] [checking org.overture.interpreter.utilities.definition.DefinitionRunTimeChecker] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/definition/DefinitionRunTimeChecker.class]] [checking org.overture.interpreter.utilities.pattern.SingleBindValuesCollector] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/SingleBindValuesCollector.class]] [checking org.overture.interpreter.traces.util.RandomList] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/util/RandomList.class]] [checking org.overture.interpreter.traces.AlternativeTraceNode] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/AlternativeTraceNode.class]] [checking org.overture.interpreter.utilities.pattern.IdentifierPatternFinder] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/pattern/IdentifierPatternFinder.class]] [checking org.overture.interpreter.scheduler.CTMainThread] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/CTMainThread.class]] [checking org.overture.interpreter.messages.VDMWarning] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/messages/VDMWarning.class]] [checking TestCase] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/xml/sax/InputSource.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathFactory.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPath.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathExpression.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/xpath/XPathConstants.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/namespace/QName.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/Transformer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/TransformerFactory.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/Result.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/Source.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/DOMException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/TransformerFactoryConfigurationError.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/javax/xml/transform/TransformerConfigurationException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/TestCase.class]] [checking org.overture.interpreter.traces.ReducedTestSequence] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/UnsupportedOperationException.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/ReducedTestSequence$ShapeIterator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/ReducedTestSequence$RandomReductionIterator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/ReducedTestSequence$ShapeReductionIterator.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/ReducedTestSequence$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/ReducedTestSequence.class]] [checking TestSuite] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/TestSuite.class]] [checking org.overture.interpreter.scheduler.SharedStateListner] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SharedStateListner$IdentityChecker.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/scheduler/SharedStateListner.class]] [total 1948ms] [INFO] [INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ interpreter --- [INFO] Using 'UTF-8' encoding to copy filtered resources. [INFO] Copying 2001 resources [INFO] [INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interpreter --- [INFO] Changes detected - recompiling the module! [INFO] Compiling 21 source files to /var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ClassesRtTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/utils/TestSourceFinder.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/external/ExternalClassesPpTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ExternalInterpreterTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/RandomListTests.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/external/ExternalModulesSlTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ClassesPpClassicTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/CommonInterpreterTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ClassesPpTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/external/ExternalClassesRtTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/external/AbstractExternalTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/StringInterpreterResult.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/Message.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/utils/ExecutionToResultTranslator.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/RepeatTraceNodeTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ClassesRtClassicTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/BugRegressionTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ParamInterpreterTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/newtests/ModulesSlTest.java]] [parsing completed 1ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/stdlibs/CsvParserTest.java]] [parsing completed 0ms] [parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/StringBasedInterpreterTest.java]] [parsing completed 0ms] [search path for source files: /var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java,/var/lib/jenkins/workspace/overture-test/core/interpreter/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/interpreter/target/test-classes,/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes,/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-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/parser/target/parser-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/testframework/target/testframework-2.6.5-SNAPSHOT.jar,/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar,/var/lib/jenkins/workspace/overture-test/.repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar,/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar,.] [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/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Before.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runner/RunWith.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Parameterized$Parameters.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Release.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/config/Settings.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/PathsProvider.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Assert.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/BufferedReader.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/File.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/IOException.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/util/ArrayList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Vector.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/node/INode.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamStandardTest.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ContextException.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ICollectedRuntimeExceptions.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/runtime/ValueException.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/util/InterpreterUtil.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/Value.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/.repository/com/google/code/gson/gson/2.2.4/gson-2.2.4.jar(com/google/gson/reflect/TypeToken.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Document.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Element.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/Node.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/AbsResultTest.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IMessage.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/reflect/InvocationTargetException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Arrays.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/Dialect.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/lang/IllegalArgumentException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/InstantiationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalAccessException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SecurityException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/NoSuchMethodException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.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/junit/junit/4.11/junit-4.11.jar(org/junit/Assume.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Test.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/syntax/ParserException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Result.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[/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/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexLocation.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/Properties.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/TestResourcesResultTestCase4.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/ResultTestCase4.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/util/XmlResultReaderWriter$IResultStore.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/Ignore.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamExternalsTest.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testing/framework/target/framework-2.6.5-SNAPSHOT.jar(org/overture/core/testing/ParamFineGrainTest.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Random.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/util/RandomList.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/SeqValue.class]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/Message.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 RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/RepeatTraceNode.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/StatementTraceNode.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TraceNode.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/stdlibs/CsvParser.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/stdlibs/CsvResult.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/utilities/stdlibs/CsvValueBuilder.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/BooleanValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/CharacterValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/IntegerValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NilValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/RealValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/SetValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/TokenValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/TupleValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueList.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/ValueSet.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/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[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/Suite.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/.repository/junit/junit/4.11/junit-4.11.jar(org/junit/runners/ParentRunner.class)]] [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/SuppressWarnings.class)]] [checking org.overture.interpreter.tests.newtests.ClassesRtTest] [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/io/FileNotFoundException.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/net/URI.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/CharSequence.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/Formattable.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/Byte.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Short.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Long.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Float.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Double.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Void.class)]] [loading ZipFileIndexFileObject[/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[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class)]] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/intf/lex/ILexLocation.class)]] [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/RandomAccess.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/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/analysis/AnalysisException.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/io/FileDescriptor.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStreamReader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Reader.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Readable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Closeable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStreamWriter.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Writer.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Appendable.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/Flushable.class)]] [checking org.overture.interpreter.tests.newtests.ParamInterpreterTest] [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/util/Iterator.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ClassesRtTest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ParamInterpreterTest$1.class]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/AbstractStringBuilder.class)]] [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/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ParamInterpreterTest.class]] [checking org.overture.interpreter.tests.newtests.StringInterpreterResult] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/NodeList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/NamedNodeMap.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/org/w3c/dom/DOMException.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/AssertionError.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/StringInterpreterResult.class]] [checking org.overture.interpreter.tests.newtests.Message] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/Message.class]] [checking org.overture.interpreter.tests.utils.TestSourceFinder] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/ReflectiveOperationException.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSequentialList.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/System.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/PrintStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/FilterOutputStream.class)]] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/utils/TestSourceFinder.class]] [checking org.overture.interpreter.tests.external.ExternalClassesPpTest] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/testframework/target/testframework-2.6.5-SNAPSHOT.jar(org/overture/test/framework/results/IResultCombiner.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[/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/util/AbstractSet.class)]] [checking org.overture.interpreter.tests.external.AbstractExternalTest] [checking org.overture.interpreter.tests.CommonInterpreterTest] [checking org.overture.interpreter.tests.StringBasedInterpreterTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/external/ExternalClassesPpTest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/external/AbstractExternalTest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/CommonInterpreterTest.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/StringBasedInterpreterTest.class]] [checking org.overture.interpreter.tests.newtests.ExternalInterpreterTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ExternalInterpreterTest$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ExternalInterpreterTest.class]] [checking org.overture.interpreter.tests.RandomListTests] [loading ZipFileIndexFileObject[/usr/lib/jvm/java-8-oracle/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Number.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/RandomListTests.class]] [checking org.overture.interpreter.tests.external.ExternalModulesSlTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/external/ExternalModulesSlTest.class]] [checking org.overture.interpreter.tests.newtests.ClassesPpClassicTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ClassesPpClassicTest.class]] [checking org.overture.interpreter.tests.newtests.ClassesPpTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ClassesPpTest.class]] [checking org.overture.interpreter.tests.external.ExternalClassesRtTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/external/ExternalClassesRtTest.class]] [checking org.overture.interpreter.tests.utils.ExecutionToResultTranslator] [loading ZipFileIndexFileObject[/var/lib/jenkins/workspace/overture-test/core/ast/target/ast-2.6.5-SNAPSHOT.jar(org/overture/ast/lex/LexStringToken.class)]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/utils/ExecutionToResultTranslator.class]] [checking org.overture.interpreter.tests.RepeatTraceNodeTest] [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/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/statements/PStm.class)]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/IIterableTraceNode.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/TestSequence.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/traces/CallSequence.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/RepeatTraceNodeTest.class]] [checking org.overture.interpreter.tests.newtests.ClassesRtClassicTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ClassesRtClassicTest.class]] [checking org.overture.interpreter.tests.newtests.BugRegressionTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/BugRegressionTest.class]] [checking org.overture.interpreter.tests.newtests.ModulesSlTest] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/newtests/ModulesSlTest.class]] [checking org.overture.interpreter.tests.stdlibs.CsvParserTest] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/NumericValue.class]] [loading RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/classes/org/overture/interpreter/values/RationalValue.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/stdlibs/CsvParserTest$1.class]] [wrote RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/target/test-classes/org/overture/interpreter/tests/stdlibs/CsvParserTest.class]] [total 151ms] [INFO] [INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ interpreter --- ------------------------------------------------------- T E S T S ------------------------------------------------------- Running org.overture.interpreter.tests.RepeatTraceNodeTest Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.128 sec - in org.overture.interpreter.tests.RepeatTraceNodeTest Running org.overture.interpreter.tests.RandomListTests Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec - in org.overture.interpreter.tests.RandomListTests Running org.overture.interpreter.tests.newtests.ClassesPpClassicTest Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.974 sec - in org.overture.interpreter.tests.newtests.ClassesPpClassicTest Running org.overture.interpreter.tests.newtests.ClassesRtTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.147 sec - in org.overture.interpreter.tests.newtests.ClassesRtTest Running org.overture.interpreter.tests.newtests.BugRegressionTest Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.051 sec - in org.overture.interpreter.tests.newtests.BugRegressionTest Running org.overture.interpreter.tests.newtests.ExternalInterpreterTest Tests run: 1, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 0.002 sec - in org.overture.interpreter.tests.newtests.ExternalInterpreterTest Running org.overture.interpreter.tests.newtests.ModulesSlTest Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.616 sec - in org.overture.interpreter.tests.newtests.ModulesSlTest Running org.overture.interpreter.tests.newtests.ClassesRtClassicTest Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.973 sec - in org.overture.interpreter.tests.newtests.ClassesRtClassicTest Running org.overture.interpreter.tests.newtests.ClassesPpTest Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.477 sec - in org.overture.interpreter.tests.newtests.ClassesPpTest Running org.overture.interpreter.tests.stdlibs.CsvParserTest Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.037 sec - in org.overture.interpreter.tests.stdlibs.CsvParserTest Running org.overture.interpreter.tests.external.ExternalModulesSlTest Tests run: 437, Failures: 0, Errors: 0, Skipped: 29, Time elapsed: 3.185 sec - in org.overture.interpreter.tests.external.ExternalModulesSlTest Running org.overture.interpreter.tests.external.ExternalClassesRtTest Tests run: 75, Failures: 0, Errors: 0, Skipped: 17, Time elapsed: 1.641 sec - in org.overture.interpreter.tests.external.ExternalClassesRtTest Running org.overture.interpreter.tests.external.ExternalClassesPpTest Tests run: 397, Failures: 0, Errors: 0, Skipped: 135, Time elapsed: 1.051 sec - in org.overture.interpreter.tests.external.ExternalClassesPpTest Results : Tests run: 978, Failures: 0, Errors: 0, Skipped: 182 [JENKINS] Recording test results [INFO] [INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ interpreter --- [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar [INFO] [INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ interpreter --- [INFO] Analyzed bundle 'The VDM Interpreter' with 327 classes [INFO] [INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ interpreter --- [INFO] 100 warnings [WARNING] Javadoc Warnings [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/CSV.java:52: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/IO.java:129: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/VDMJ.java:497: warning: no description for @throws [WARNING] * @throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/utilities/type/AllValuesCollector.java:116: warning: no description for @throws [WARNING] * @throws ValueException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/PExpAssistantInterpreter.java:30: warning: no description for @param [WARNING] * @param exp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/expression/PExpAssistantInterpreter.java:50: warning: no description for @param [WARNING] * @param exp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/definition/PDefinitionAssistantInterpreter.java:62: warning: no description for @param [WARNING] * @param def [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.java:144: warning: no description for @param [WARNING] * @param m [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/module/AModuleModulesAssistantInterpreter.java:145: warning: no description for @param [WARNING] * @param initialContext [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PPatternAssistantInterpreter.java:82: warning: no description for @param [WARNING] * @param pattern [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/assistant/pattern/PPatternAssistantInterpreter.java:98: warning: no description for @param [WARNING] * @param pattern [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:248: warning: no description for @param [WARNING] * @param node [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:249: warning: no description for @param [WARNING] * @param val [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:250: warning: no description for @param [WARNING] * @param ctxt [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:251: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:252: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:683: warning: no description for @param [WARNING] * @param node [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:684: warning: no description for @param [WARNING] * @param ifLocation [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:685: warning: no description for @param [WARNING] * @param testExp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:686: warning: no description for @param [WARNING] * @param thenNode [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:687: warning: no description for @param [WARNING] * @param elseIfNodeList [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:688: warning: no description for @param [WARNING] * @param elseNode [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:689: warning: no description for @param [WARNING] * @param ctxt [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:690: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:691: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:731: warning: no description for @param [WARNING] * @param node [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:732: warning: no description for @param [WARNING] * @param location [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:733: warning: no description for @param [WARNING] * @param test [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:734: warning: no description for @param [WARNING] * @param then [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:735: warning: no description for @param [WARNING] * @param ctxt [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:736: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/eval/ExpressionEvaluator.java:737: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:45: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:46: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:55: warning: no description for @param [WARNING] * @param target [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/scheduler/SharedStateListner.java:56: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:55: warning: no description for @param [WARNING] * @param on [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:70: warning: no description for @param [WARNING] * @param message [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:92: warning: no description for @throws [WARNING] * @throws FileNotFoundException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:112: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/messages/rtlog/RTLogger.java:122: warning: no description for @param [WARNING] * @param close [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:55: warning: no description for @param [WARNING] * @param result [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:56: warning: no description for @param [WARNING] * @param test [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:57: warning: no description for @param [WARNING] * @param n [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/traces/TestSequence.java:102: warning: no description for @param [WARNING] * @param other [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:21: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:22: warning: no description for @param [WARNING] * @param impldef [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:23: warning: no description for @param [WARNING] * @param stateExps [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:24: warning: no description for @param [WARNING] * @param argExps [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:25: warning: no description for @param [WARNING] * @param out [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:26: warning: no description for @param [WARNING] * @param err [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:27: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:28: warning: no description for @throws [WARNING] * @throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:40: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:41: warning: no description for @param [WARNING] * @param body [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:42: warning: no description for @param [WARNING] * @param result [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:43: warning: no description for @param [WARNING] * @param stateExps [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:44: warning: no description for @param [WARNING] * @param argExps [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:45: warning: no description for @param [WARNING] * @param out [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:46: warning: no description for @param [WARNING] * @param err [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:47: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/solver/IConstraintSolver.java:48: warning: no description for @throws [WARNING] * @throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:120: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:162: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:281: warning: no description for @throws [WARNING] * @throws ValueException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/values/Value.java:282: warning: no description for @throws [WARNING] * @throws AnalysisException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:146: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:631: warning: no description for @throws [WARNING] * @throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:633: warning: no @param for line [WARNING] protected boolean doCreate(String line) throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:633: warning: no @return [WARNING] protected boolean doCreate(String line) throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:639: warning: no description for @throws [WARNING] * @throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:641: warning: no @param for line [WARNING] protected boolean doDefault(String line) throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:641: warning: no @return [WARNING] protected boolean doDefault(String line) throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:1286: warning: no @param for line [WARNING] protected boolean notAvailable(String line) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/commands/CommandReader.java:1286: warning: no @return [WARNING] protected boolean notAvailable(String line) [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:223: warning: no description for @param [WARNING] * @param ctxt [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:250: warning: no description for @param [WARNING] * @param ctxt [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:251: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:262: warning: no description for @param [WARNING] * @param ctxt [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:263: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:86: warning: no description for @throws [WARNING] * @throws ParserException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Breakpoint.java:87: warning: no description for @throws [WARNING] * @throws LexException [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:104: warning: no description for @param [WARNING] * @param dbgp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:135: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:148: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:274: warning: no description for @param [WARNING] * @param name [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Context.java:275: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:127: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:137: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:148: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:156: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:158: warning: no @param for module [WARNING] abstract public Environment getGlobalEnvironment(String module); [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:191: warning: no description for @throws [WARNING] * @throws Exception [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:201: warning: no description for @param [WARNING] * @param dbgp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:210: warning: no description for @param [WARNING] * @param dbgp [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:288: warning: no description for @param [WARNING] * @param src [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:289: warning: no description for @return [WARNING] * @return [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:300: warning: no description for @param [WARNING] * @param file [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:301: warning: no description for @param [WARNING] * @param line [WARNING] ^ [WARNING] /var/lib/jenkins/workspace/overture-test/core/interpreter/src/main/java/org/overture/interpreter/runtime/Interpreter.java:302: warning: no description for @return [WARNING] * @return [WARNING] ^ [INFO] Building jar: /var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT-javadoc.jar [INFO] [INFO] --- maven-install-plugin:2.5.2:install (default-install) @ interpreter --- [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT.jar [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/interpreter/pom.xml to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT.pom [INFO] Installing /var/lib/jenkins/workspace/overture-test/core/interpreter/target/interpreter-2.6.5-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/overture-test/.repository/org/overturetool/core/interpreter/2.6.5-SNAPSHOT/interpreter-2.6.5-SNAPSHOT-javadoc.jar