diff options
| author | Kevin Laeufer | 2021-11-10 06:33:39 -0800 |
|---|---|---|
| committer | GitHub | 2021-11-10 09:33:39 -0500 |
| commit | 18b9a987552492928aa1199d8cf498fe561c2f03 (patch) | |
| tree | bffeadc7cad0aa3e552f945a6aa4f6e405e9a02d /.github/workflows | |
| parent | 7ef3e1ba9d1a748bd39f8d4f279e8d4e34bb4cc7 (diff) | |
smt: fix handling of div primitive in formal backend (#2409)
We never tested the case where the width of the
numerator was less than the denominator.
This should fix any issue with this combination.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions