Introduce floatbv_round_to_integral_exprt
#3543
| Job | Run time |
|---|---|
| 13m 35s | |
| 2m 58s | |
| 16m 33s |
floatbv_round_to_integral_exprt
#3543
| Job | Run time |
|---|---|
| 13m 35s | |
| 2m 58s | |
| 16m 33s |