Introduce floatbv_round_to_integral_exprt
#558
| Job | Run time |
|---|---|
| 1h 5m 32s | |
| 1h 5m 32s |
floatbv_round_to_integral_exprt
#558
| Job | Run time |
|---|---|
| 1h 5m 32s | |
| 1h 5m 32s |