toolset issueshttps://dgit.cs.uni-saarland.de/modest/toolset/-/issues2018-07-08T16:55:47+02:00https://dgit.cs.uni-saarland.de/modest/toolset/-/issues/51Use NetworkCompilerHelper instead of compiling manually in motest2018-07-08T16:55:47+02:00Arnd HartmannsUse NetworkCompilerHelper instead of compiling manually in motestmotest currently manages all the steps of compiling an `AutomataNetwork` manually. This prevents better encapsulation of the compilation process in the Exploration project. It should be possible with very limited effort to make motest us...motest currently manages all the steps of compiling an `AutomataNetwork` manually. This prevents better encapsulation of the compilation process in the Exploration project. It should be possible with very limited effort to make motest use `NetworkCompilerHelper.Compile` and related methods instead.Alexander Graf-BrillAlexander Graf-Brill