MA LRA model checking gets stuck, but reports result on Ctrl+C (#106) · Issues · modest / toolset · GitLab

MA LRA model checking gets stuck, but reports result on Ctrl+C

As the title says, on the attached file with the following command line: `modest mcsta erlang.modest -E "K = 10, R = 10, TIME_BOUND = 5"` [erlang.modest](/uploads/2b269db2715905ebcfe53adcd1142ceb/erlang.modest)

issue