diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2020-12-11 15:08:23 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-11 17:08:23 -0600 |
commit | 107b1422f9549eb2128729c3fd173441029ba443 (patch) | |
tree | 6f34ed2537fac701ba7557b4db7215f3678e9c47 /src/main/main.cpp | |
parent | 8d0de294c259e789a149bc5ceb5d6501868e83d0 (diff) |
bv-to-int: new tests from an issue (#5654)
#5293 pointed to assertion failures when employing --bv-to-int, starting from commit 94e3d9a.
The bug is not reproduced on current master, and so we would have this PR close #5293 .
This PR adds the benchmarks from #5293 .
Diffstat (limited to 'src/main/main.cpp')
0 files changed, 0 insertions, 0 deletions