diff options
| author | Kevin Laeufer | 2021-08-30 13:41:24 -0700 |
|---|---|---|
| committer | GitHub | 2021-08-30 13:41:24 -0700 |
| commit | de56a19b0a240e39366dc2d979ec05c65e0ada63 (patch) | |
| tree | 7eb64c7e69b5eb5655178be4484f0d873fe31591 /benchmark/scripts | |
| parent | cc80c631e2a6a259f33d1d583107d5add05aaf12 (diff) | |
[smt] treat stop with non-zero ret like an assertion (#2338)
We treat it as an assertion that the stop will
never be enabled. stop(0) will still be ignored
(but now demoted to a info from a warning).
Diffstat (limited to 'benchmark/scripts')
0 files changed, 0 insertions, 0 deletions