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"
Edited by Arnd Hartmanns
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"