Introduce floatbv_round_to_integral_exprt
#3573
| Job | Run time |
|---|---|
| 18m 10s | |
| 9m 48s | |
| 27m 58s |
floatbv_round_to_integral_exprt
#3573
| Job | Run time |
|---|---|
| 18m 10s | |
| 9m 48s | |
| 27m 58s |