ltlcross --fail-on-timeout
Tobias Meggendorfer asked for such an option in private email.
He want timeouts to be treated like any other error from a translator.
The option also makes sense for autcross
.
Tobias Meggendorfer asked for such an option in private email.
He want timeouts to be treated like any other error from a translator.
The option also makes sense for autcross
.