hvanz opened this issue 3 years ago · 0 comments
Currently it's not possible to pass to the check and sample commands some model-checker parameters such as view, cinit, max_error, no_deadlock.
check
sample