Stacktrace:
at <0xffffffff>
at (wrapper managed-to-native) System.Array.FastCopy (System.Array,int,System.Array,int,int) [0x00000] in <0f8aeac9d63d4b8aa575761bb4e65b79>:0
at System.Array.Copy (System.Array,int,System.Array,int,int) [0x00081] in <0f8aeac9d63d4b8aa575761bb4e65b79>:0
at System.Collections.Generic.HashSet`1.SetCapacity (int) [0x0000f] in :0
at System.Collections.Generic.HashSet`1.IncreaseCapacity () [0x00020] in :0
at System.Collections.Generic.HashSet`1.AddIfNotPresent (CompiledAutomata.State1) [0x000c1] in :0
at System.Collections.Generic.HashSet`1.Add (CompiledAutomata.State1) [0x00000] in :0
at Modest.ModelChecking.MDP.DeadEndCheck`1.CheckDE (Modest.Exploration.Network`1&,int,CompiledAutomata.State1) [0x00092] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MDP.DeadEndCheck`1.IsDeadEnd (Modest.Exploration.Network`1&,int,CompiledAutomata.State1) [0x0000f] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MDP.VIComponents`1.InitializeValue (Modest.Exploration.Network`1&,int,CompiledAutomata.State1&,System.Collections.Generic.Dictionary`2&) [0x00000] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MDP.FRET`1.FretMain (Modest.Exploration.Network`1,int,double) [0x0002c] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MAModelChecker`1.CheckPropertyFRET (Modest.ModelChecking.ReachabilityPropertyInfo,int,Modest.Modularity.OperationState,Modest.Modularity.ComponentErrorHandler) [0x000fc] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MAModelChecker`1.ModelCheckFRET (string,Modest.Modularity.OperationState,Modest.Modularity.ComponentErrorHandler) [0x00117] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheckGeneric (Modest.Exploration.Network`1,object,string,Modest.StateSpace.StateProjections,object,Modest.StateSpace.ComponentisedExpression[],object,Modest.Modularity.ILocation,Modest.Modularity.OperationState,Modest.Modularity.ComponentErrorHandler) [0x000ac] in <6312fa2749214fd8b95054c9d9b46caf>:0
[ERROR] FATAL UNHANDLED EXCEPTION: System.NullReferenceException: Object reference not set to an instance of an object
at (wrapper managed-to-native) System.Array.FastCopy(System.Array,int,System.Array,int,int)
at System.Array.Copy (System.Array sourceArray, System.Int32 sourceIndex, System.Array destinationArray, System.Int32 destinationIndex, System.Int32 length) [0x00081] in <0f8aeac9d63d4b8aa575761bb4e65b79>:0
at System.Collections.Generic.HashSet`1[T].SetCapacity (System.Int32 newSize) [0x0000f] in :0
at System.Collections.Generic.HashSet`1[T].IncreaseCapacity () [0x00020] in :0
at System.Collections.Generic.HashSet`1[T].AddIfNotPresent (T value) [0x000c1] in :0
at System.Collections.Generic.HashSet`1[T].Add (T item) [0x00000] in :0
at Modest.ModelChecking.MDP.DeadEndCheck`1[T].CheckDE (Modest.Exploration.Network`1[T]& network, System.Int32 statePropertyIndex, T state) [0x00092] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MDP.DeadEndCheck`1[T].IsDeadEnd (Modest.Exploration.Network`1[T]& network, System.Int32 statePropertyIndex, T state) [0x0000f] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MDP.VIComponents`1[T].InitializeValue (Modest.Exploration.Network`1[T]& network, System.Int32 statePropertyIndex, T& state, System.Collections.Generic.Dictionary`2[T,System.Double]& Values) [0x00000] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MDP.FRET`1[T].FretMain (Modest.Exploration.Network`1[T] network, System.Int32 statePropertyIndex, System.Double epsilon) [0x0002c] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MAModelChecker`1[T].CheckPropertyFRET (Modest.ModelChecking.ReachabilityPropertyInfo prop, System.Int32 reachExpIndex, Modest.Modularity.OperationState operationState, Modest.Modularity.ComponentErrorHandler ceh) [0x000fc] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.MAModelChecker`1[T].ModelCheckFRET (System.String experimentString, Modest.Modularity.OperationState operationState, Modest.Modularity.ComponentErrorHandler ceh) [0x00117] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheckGeneric[T] (Modest.Exploration.Network`1[T] network, System.Object expInfoObj, System.String experimentString, Modest.StateSpace.StateProjections projections, System.Object propertiesObj, Modest.StateSpace.ComponentisedExpression[] distanceExps, System.Object parametersObj, Modest.Modularity.ILocation documentLocation, Modest.Modularity.OperationState operationState, Modest.Modularity.ComponentErrorHandler ceh) [0x000ac] in <6312fa2749214fd8b95054c9d9b46caf>:0
at (wrapper delegate-invoke) type_16777215.invoke_AnalysisDataSet_Network`1_object_string_StateProjections_object_ComponentisedExpression[]_object_ILocation_OperationState_ComponentErrorHandler(Modest.Exploration.Network`1,object,string,Modest.StateSpace.StateProjections,object,Modest.StateSpace.ComponentisedExpression[],object,Modest.Modularity.ILocation,Modest.Modularity.OperationState,Modest.Modularity.ComponentErrorHandler)
at invoke Modest.Exploration.Network`1__CompiledAutomata.State1\, CompiledAutomata12642049114094783252\, Version=0.0.0.0\, Culture=neutral\, PublicKeyToken=null__ : System.Object : System.String : Modest.StateSpace.StateProjections : System.Object : Modest.StateSpace.ComponentisedExpression__ : System.Object : Modest.Modularity.ILocation : Modest.Modularity.OperationState : Modest.Modularity.ComponentErrorHandler : Modest.Modularity.AnalysisDataSet.GeneratedClass.DoInvoke (System.Object , System.Object[] , System.Reflection.MethodInfo ) [0x00011] in <968d95cad8c042d8b2cbd21a91cc43bc>:0
at Modest.DirectInvoker.InvokeDirect (System.Reflection.MethodInfo method, System.Object instance, System.Object[] parameters) [0x00189] in :0
at Modest.Exploration.NetworkGenericMethod.Invoke (System.Object network) [0x00021] in :0
at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck (Modest.Automaton.NSHAModel model, Modest.ModelChecking.ModelCheckingAnalysisEngine+CompilationParameters compilationParams, System.Object parametersObj, Modest.Modularity.OperationState operationState, Modest.Modularity.IErrorHandler errors) [0x00999] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze (Modest.ModelChecking.ModelCheckingAnalysisEngine+AnalysisParams analysisParameters, Modest.Automaton.NSHAModel model, System.Collections.Generic.IEnumerable`1[T] modelParameters, Modest.Modularity.OperationState operationState, Modest.Modularity.IErrorHandler errors) [0x009bc] in <6312fa2749214fd8b95054c9d9b46caf>:0
at Modest.Modularity.AnalysisEngine`3[M,EP,AP].Analyze (Modest.Modularity.IParameterObject analysisParameters, Modest.Modularity.IModel model, System.Collections.Generic.IEnumerable`1[T] experiments, Modest.Modularity.OperationState operationState, Modest.Modularity.IErrorHandler errors) [0x00114] in :0
at Modest.Executables.FretLrtdp.ProgramFretLrtdp.Run (Modest.Executables.FretLrtdp.ProgramFretLrtdp+FretParams parameters, System.Diagnostics.Stopwatch time) [0x003ab] in <873d690f2e0141b3aac10c913623b391>:0
at Modest.Executables.FretLrtdp.ProgramFretLrtdp.Main (System.String[] args) [0x0007a] in <873d690f2e0141b3aac10c913623b391>:0