apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Make deadlock detection optional

Open thpani opened this issue 2 years ago • 2 comments

Given that deadlock detection makes an additional call (and it's is incomplete anyways), it seems to be a good idea to me to set --no-deadlock=true by default.

Originally posted by @konnov in https://github.com/informalsystems/apalache/issues/1040#issuecomment-1235232480

thpani avatar Sep 02 '22 09:09 thpani

Related: #711, #712

thpani avatar Sep 02 '22 09:09 thpani

This is a part of a more general discussion: https://github.com/informalsystems/apalache/discussions/2142

konnov avatar Sep 02 '22 09:09 konnov