- changed status to resolved
Conversion from FloatingPoint BV to BV
Issue #26
resolved
From @inkytonik:
Is there a way to turn an FPBV into a BV? E.g., some rounding operations need to go from Double to Int or Long. For rounding that is entirely in FP world and we can use:
aterm1.roundToI(ctermRM(RNA()))
which produces an FPBV. But what to do if you want a BV instead?
Comments (2)
-
reporter -
reporter Fix return type of toUBV/toSBV and add simple tests using them.
→ <<cset 1bac73d97524>>
- Log in to comment
see
#10.