Commit 6419752e authored by Mingyao Yang's avatar Mingyao Yang
Browse files

Some enhancements on BCE. 

1) Better format detection when creating ValueBound.
2) Some code cleanup on returning bool for overflow_or_underflow.

Change-Id: I03e8bd0d756652da021ccb5b2a62075648d39cc2
parent 55037f18
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment