apalache When no invariants are configured, we report checking deadlocks even if --no-deadlocks is set

When no invariants are configured, we report checking deadlocks even if --no-deadlocks is set

Open shonfeder opened this issue 3 years ago • 0 comments

See https://github.com/informalsystems/apalache/pull/2074#discussion_r957419422

Fixing this is just a matter of checking the configured options for noDeadlocks and using the result to inform our logging message.

Aug 29 '22 18:08 shonfeder