diff --git a/lib/src/arithmetic/floating_point/floating_point_adder_round.dart b/lib/src/arithmetic/floating_point/floating_point_adder_round.dart index 9b62ade6..67aa30c2 100644 --- a/lib/src/arithmetic/floating_point/floating_point_adder_round.dart +++ b/lib/src/arithmetic/floating_point/floating_point_adder_round.dart @@ -312,7 +312,6 @@ class FloatingPointAdderRound extends FloatingPointAdder { final infExponent = outputSum.inf(sign: largerSignFlopped).exponent; final inf = outputSum.inf(sign: largerSignFlopped); - final infExponent = inf.exponent; final realIsInfRPath = exponentRPath.eq(infExponent).named('realIsInfRPath'); diff --git a/test/arithmetic/floating_point/floating_point_adder_round_test.dart b/test/arithmetic/floating_point/floating_point_adder_round_test.dart index dc962351..08511ce1 100644 --- a/test/arithmetic/floating_point/floating_point_adder_round_test.dart +++ b/test/arithmetic/floating_point/floating_point_adder_round_test.dart @@ -355,8 +355,8 @@ void main() { exponentWidth: exponentWidth, mantissaWidth: mantissaWidth); fp1.put(0); fp2.put(0); - final fv1 = FloatingPointValue.ofBinaryStrings('0', '1100', '0000'); - final fv2 = FloatingPointValue.ofBinaryStrings('1', '1100', '0000'); + final fv1 = FloatingPointValue.ofBinaryStrings('0', '1110', '1111'); + final fv2 = FloatingPointValue.ofBinaryStrings('0', '1110', '0000'); fp1.put(fv1); fp2.put(fv2);