[FV] lifting the results from Z3 for floating points
At present we do not support floating points in formal verification. But, not we have some checks which use Z3 and we can support floating points for them.
(from redmine: issue id 3654, created on 2019-02-27, closed on 2019-02-27)
- Relations:
- parent #3651 (closed)
- Uploads: