SuccessConsole Output

Skipping 198 KB.. Full Log
AlternativeStm.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 1607ms]
[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 1ms]
[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 4ms]
[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 0ms]
[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 0ms]
[parsing started RegularFileObject[/var/lib/jenkins/workspace/overture-test/core/interpreter/src/test/java/org/overture/interpreter/tests/stdlibs/CsvParserTest.java]]
[parsing completed 1ms]
[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 195ms]
[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.374 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.004 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: 5.368 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.28 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.034 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.001 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: 3.626 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.903 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.443 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.081 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.879 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.303 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: 0.876 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