moconv crashes with unhandled exception after wrong constant
After calling moconv with a specified BOND (instead of BOUND) variable, moconv gives a meaningfull error message, but then crashes with an unhandled exception. beb.modest
moconv.exe reward-bounded/beb.modest -E K=4,H=2,BOND=143 -O beb.K=4.H=2.BOUND=143.jani --digital-clocks -X
(00:00) 0············10············20
Optimizing automata...beb.modest: error: The model does not have a parameter named 'BOND'.
Unhandled Exception: System.ArgumentNullException: Value cannot be null. Parameter name: source at System.Linq.Enumerable.ToArray[TSource] (System.Collections.Generic.IEnumerable
1[T] source) [0x00010] in <2392cff65f724abaaed9de072f62bc4a>:0 at Modest.Executables.Moconv.Program.Run (Modest.Executables.Moconv.Program+MoconvParams parameters) [0x00212] in <277a7fa43ae04f6f982ade4b3e1fa5c5>:0 at Modest.Executables.Moconv.Program.Main (System.String[] args) [0x00065] in <277a7fa43ae04f6f982ade4b3e1fa5c5>:0 [ERROR] FATAL UNHANDLED EXCEPTION: System.ArgumentNullException: Value cannot be null. Parameter name: source at System.Linq.Enumerable.ToArray[TSource] (System.Collections.Generic.IEnumerable
1[T] source) [0x00010] in <2392cff65f724abaaed9de072f62bc4a>:0 at Modest.Executables.Moconv.Program.Run (Modest.Executables.Moconv.Program+MoconvParams parameters) [0x00212] in <277a7fa43ae04f6f982ade4b3e1fa5c5>:0 at Modest.Executables.Moconv.Program.Main (System.String[] args) [0x00065] in <277a7fa43ae04f6f982ade4b3e1fa5c5>:0