Disable calling --slice-formula by default with conditional flags.#1479
Merged
jaisnan merged 5 commits intomodel-checking:mainfrom jaisnan:issue-1288-disable-slice-formulaAug 9, 2022
+12-1
Commits
Commits on Aug 9, 2022
- committed
- authored
- committed
- committed
Merge branch 'issue-1288-disable-slice-formula' of https://github.com/jaisnan/kani into issue-1288-disable-slice-formula
committed
