diff options
| author | mergify[bot] | 2022-04-19 00:22:50 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-19 00:22:50 +0000 |
| commit | 9ff8ca7d3f4f71b1e42a136d1465da43baf7085b (patch) | |
| tree | 81e66d401279cb77214d4df5d0deae9128be8cbf /src | |
| parent | 17c930506046bc59f8a13a0c82734e7334b27613 (diff) | |
verification: switch order of assert/assume and printf (#2484) (#2493)
This is a quick fix for issue #2408
(cherry picked from commit d4ef9a96c4131252a0a49002a28be3391eb67258)
Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions