solidity/test/cmdlineTests/model_checker_targets_pop_empty_chc/args at optim-divmul-to-shift - solidity - Gitea: come getta cuppa

cerc-io/solidity

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00

Files

T

Leonardo Alt 3b23cadbdc Add CLI and JSON option to select SMTChecker targets

2021-01-20 17:35:37 +01:00

2 lines

65 B

Plaintext

Raw Permalink Blame History

--model-checker-engine chc --model-checker-targets popEmptyArray