Unhandled Exception in modes
Running modes with a combination of parameters that includes -T and --lss results in an uncaught exception.
Example: modest modes qcomp://brp -N 1 -T -E "N=16,MAX=2" --lss smart
Output: The Modest Toolset (www.modestchecker.net), version v3.1.265-gfa59ba382+2921be74c461dce497eef1f8a9a1a1c820712384. Command: modest modes qcomp://brp -N 1 -T -E N=16,MAX=2 --lss smart
Preparing simulation...
brp.jani:model: info: brp is a DTMC model and will be simulated as an MDP using uniform resolution of nondeterminism.
Detecting location variables...
brp.jani:variables[0]: info: Expanding variable "s" into 7 locations in automaton "sender". brp.jani:variables[8]: info: Expanding variable "r" into 6 locations in automaton "receiver". brp.jani:variables[16]: info: Expanding variable "k" into 3 locations in automaton "channelK". brp.jani:variables[17]: info: Expanding variable "l" into 3 locations in automaton "channelL".
(00:00) 0····
Checking for absence of continuous variables...
brp.jani: warning: Scheduler sampling is enabled, selected resolver has no effect. brp.jani: info: Using default value of 0.95 for the confidence parameter. brp.jani: warning: Multithreading is not supported in combination with trace collection, using a single simulation thread.
(00:00) 0········
Simulating for N=16, MAX=2...
Unhandled exception. System.NullReferenceException: Object reference not set to an instance of an object.
at Modest.Simulation.TraceSetObserver1.OnStart(T& initialState, Double[] continuousInitialState) in /home/annabell/src/toolset/Simulation/Traces/TraceSetObserver.cs:line 42 at Modest.Simulation.SimulationRun1.OnStart(T& initialState, StatePredicates statePredicates) in /home/annabell/src/toolset/Simulation/Runs/SimulationRun.cs:line 118
at Modest.Simulation.SimulationRun1.Start() in /home/annabell/src/toolset/Simulation/Runs/SimulationRun.cs:line 74 at Modest.Simulation.MDPSimulationRun1.Run() in /home/annabell/src/toolset/Simulation/Runs/MDPSimulationRun.cs:line 50
at Modest.Simulation.MonteCarloRunManager1.PerformRun() in /home/annabell/src/toolset/Simulation/Run Managers/MonteCarloRunManager.cs:line 25 at Modest.Simulation.SingleThreadedWorker.PerformSimulationRuns[T](WorkerJob job, RunManager1 runManager, ILearnerFactory1 learnerFactory, Learner1 learner, PropertyRunEvaluator1[] runEvaluators, Stopwatch runTime, Stopwatch waitTime, SemaphoreSlim allowance, CancellationToken ct, Int32& totalRunCount) in /home/annabell/src/toolset/Simulation/SingleThreadedWorker.cs:line 313 at Modest.Simulation.SingleThreadedWorker.RunJob[T](Network1 network, WorkerJob job, IObserver1 observer, SemaphoreSlim allowance, CancellationToken ct) in /home/annabell/src/toolset/Simulation/SingleThreadedWorker.cs:line 210 at Modest.Simulation.SingleThreadedWorker.RunGeneric[T](Network1 network) in /home/annabell/src/toolset/Simulation/SingleThreadedWorker.cs:line 124
at invoke Modest.Exploration.Network`1__CompiledAutomata.State1, CompiledAutomata-20250206115354-70846963, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null__ : System.Void.GeneratedClass.DoInvoke(Object, Object[], MethodInfo)
at Modest.DirectInvoker.InvokeDirect(MethodInfo method, Object instance, Object[] parameters) in /home/annabell/src/toolset/Base/DirectInvoker.cs:line 61
at Modest.Simulation.SingleThreadedWorker.Run(CancellationTokenSource cts) in /home/annabell/src/toolset/Simulation/SingleThreadedWorker.cs:line 74
at Modest.Simulation.SingleThreadedWorker.<.ctor>b__10_0() in /home/annabell/src/toolset/Simulation/SingleThreadedWorker.cs:line 47
at System.Threading.ExecutionContext.RunInternal(ExecutionContext executionContext, ContextCallback callback, Object state)
--- End of stack trace from previous location ---
at System.Threading.ExecutionContext.RunInternal(ExecutionContext executionContext, ContextCallback callback, Object state)
Aborted (core dumped)