diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-29 13:46:21 -1000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-11-29 13:46:21 -1000 |
| commit | 6eee09c51cb44a71293c9d2dbeea52cd9e3af321 (patch) | |
| tree | 3b30fc3b05d483eac3c5b26ad1082ea5d4508b6d /src/proof/cec | |
| parent | fa87d16b971438d5f1bc369a28c69eb4435d040a (diff) | |
| download | abc-6eee09c51cb44a71293c9d2dbeea52cd9e3af321.tar.gz abc-6eee09c51cb44a71293c9d2dbeea52cd9e3af321.tar.bz2 abc-6eee09c51cb44a71293c9d2dbeea52cd9e3af321.zip | |
Added switch -y to control blasting divide-by-zero condition.
Diffstat (limited to 'src/proof/cec')
0 files changed, 0 insertions, 0 deletions