You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
User request from Ultimate Atomizer: a timeout option that works in incremental mode and limits the time per command. After the timeout the solver should return unknown, so that assertions can be removed or added, and then further checks can be done.
The text was updated successfully, but these errors were encountered:
User request from Ultimate Atomizer: a timeout option that works in incremental mode and limits the time per command. After the timeout the solver should return unknown, so that assertions can be removed or added, and then further checks can be done.
The text was updated successfully, but these errors were encountered: