Interpreter crashes on MiniMondex

The following bug was originally reported on Sourceforge by pglvdm, 2013-11-27 18:15:50.420000:

Before selecting anything I get: INITIALIZED RUNNING Waiting for environment on : [tau(AReferenceProcess->AAlphabetisedParallelismReplicatedProcess) : [Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [Child of Network[cs||cs];], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs]Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [Child of Network[cs||cs];], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [[cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ACallStm->ACallStm) : [[cs||cs]Child of Network[cs||cs];], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ASequentialCompositionAction->AStmAction) : [[cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ASequentialCompositionAction->AStmAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(ASequentialCompositionAction->AStmAction) : [Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ABlockSimpleBlockStm->AActionStm) : [[cs||cs]Child of Network[cs||cs];], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ABlockSimpleBlockStm->AActionStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ABlockSimpleBlockStm->AActionStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ABlockSimpleBlockStm->AActionStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(AActionProcess->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING Waiting for environment on : [tau(ABlockSimpleBlockStm->AActionStm) : [[cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceProcess->AActionProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(ABlockSimpleBlockStm->AActionStm) : [[cs||cs][cs||cs]Child of Network[cs||cs];], tau(ACallStm->ACallStm) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network[cs||cs];], tau(AReferenceAction->ASequentialCompositionAction) : [Child of Network[cs||cs]], tau(AReferenceAction->ASequentialCompositionAction) : [[cs||cs][cs||cs][cs||cs]Child of Network[cs||cs]], tau(AAlphabetisedParallelismProcess--Begin->AAlphabetisedParallelismProcess) : [[cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs][cs||cs]Child of Network]] WAITING_FOR_ENVIRONMENT RUNNING FAILED Exception in thread "main" Error 4034: Name 'i' not in scope in 'C:\compasssvn\Common\CaseStudies\MiniMondex\minimondex.cml' at line 47:13 at org.overture.interpreter.runtime.VdmRuntimeError.abort(VdmRuntimeError.java:13) at org.overture.interpreter.runtime.Context.lookup(Context.java:296) at org.overture.interpreter.eval.ExpressionEvaluator.caseAVariableExp(ExpressionEvaluator.java:1716) at org.overture.interpreter.eval.ExpressionEvaluator.caseAVariableExp(ExpressionEvaluator.java:124) at org.overture.ast.expressions.AVariableExp.apply(AVariableExp.java:319) at eu.compassresearch.core.interpreter.CmlExpressionVisitor$VdmExpressionEvaluator.defaultPExp(CmlExpressionVisitor.java:87) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.defaultPExp(CmlExpressionVisitor.java:115) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.defaultPExp(CmlExpressionVisitor.java:59) at org.overture.ast.analysis.QuestionAnswerAdaptor.caseAVariableExp(QuestionAnswerAdaptor.java:1131) at org.overture.ast.expressions.AVariableExp.apply(AVariableExp.java:319) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.createChannelNameValue(CmlExpressionVisitor.java:159) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.caseAFatEnumVarsetExpression(CmlExpressionVisitor.java:190) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.caseAFatEnumVarsetExpression(CmlExpressionVisitor.java:59) at eu.compassresearch.ast.expressions.AFatEnumVarsetExpression.apply(AFatEnumVarsetExpression.java:282) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.caseAUnionVOpVarsetExpression(CmlExpressionVisitor.java:275) at eu.compassresearch.core.interpreter.CmlExpressionVisitor.caseAUnionVOpVarsetExpression(CmlExpressionVisitor.java:59) at eu.compassresearch.ast.expressions.AUnionVOpVarsetExpression.apply(AUnionVOpVarsetExpression.java:263) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:289) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:295) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAAlphabetisedParallelismProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAAlphabetisedParallelismProcess(QuestionAnswerCMLAdaptor.java:638) at eu.compassresearch.ast.process.AAlphabetisedParallelismProcess.apply(AAlphabetisedParallelismProcess.java:384) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.CommonInspectionVisitor.caseHiding(CommonInspectionVisitor.java:386) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAHidingProcess(ProcessInspectionVisitor.java:594) at eu.compassresearch.core.interpreter.ProcessInspectionVisitor.caseAHidingProcess(ProcessInspectionVisitor.java:54) at eu.compassresearch.ast.process.AHidingProcess.apply(AHidingProcess.java:304) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:40) at eu.compassresearch.core.interpreter.CmlInspectionVisitor.defaultPProcess(CmlInspectionVisitor.java:20) at eu.compassresearch.ast.analysis.QuestionAnswerCMLAdaptor.caseAHidingProcess(QuestionAnswerCMLAdaptor.java:698) at eu.compassresearch.ast.process.AHidingProcess.apply(AHidingProcess.java:304) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.inspect(ConcreteCmlBehaviour.java:312) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.deadlocked(ConcreteCmlBehaviour.java:480) at eu.compassresearch.core.interpreter.ConcreteCmlBehaviour.getState(ConcreteCmlBehaviour.java:520) at eu.compassresearch.core.interpreter.debug.CmlProcessDTO.(CmlProcessDTO.java:50) at eu.compassresearch.core.interpreter.debug.CmlInterpreterStateDTO.(CmlInterpreterStateDTO.java:97) at eu.compassresearch.core.interpreter.debug.CmlInterpreterStateDTO.(CmlInterpreterStateDTO.java:107) at eu.compassresearch.core.interpreter.debug.CmlInterpreterStateDTO.createCmlInterpreterStateDTO(CmlInterpreterStateDTO.java:29) at eu.compassresearch.core.interpreter.debug.SocketServerCmlDebugger.start(SocketServerCmlDebugger.java:426) at eu.compassresearch.core.interpreter.debug.DebugMain.main(DebugMain.java:168)

symphonytool / symphony

Interpreter crashes on MiniMondex #173