Created attachment 310 [details] crashing model The following synthesis query crashes the server: strategy Opt = minE (b) [<=1] : <> Proc.END || y>=1 the model is attached
Stratego-6 does not have this issue anymore.