Introduce floatbv_round_to_integral_exprt
#3588
| Job | Run time |
|---|---|
| 6m 42s | |
| 2m 58s | |
| 9m 40s |
floatbv_round_to_integral_exprt
#3588
| Job | Run time |
|---|---|
| 6m 42s | |
| 2m 58s | |
| 9m 40s |