Add timeout option to TLC raw
ivan-gavran opened this issue · 0 comments
ivan-gavran commented
Currently, if TLC is run for an invariant that holds, it will simply run forever.
We should add a timeout option to the call in tlc_raw and handle timeouts in tlc_pure