ltsmin/modelcheck segaults
Running
ltsmin/modelcheck -C elevator2.1.dve '!G("req[1]==1" -> (F("p==1" && "cabin.open")))'
on elevator2.1.dve
with all controlers disabled lead to a segfault.
Running
ltsmin/modelcheck -C elevator2.1.dve '!G("req[1]==1" -> (F("p==1" && "cabin.open")))'
on elevator2.1.dve
with all controlers disabled lead to a segfault.