fix CheckStyle complaint.
@@ -253,7 +253,7 @@ public class SolverVisitorTest extends SolverBasedTest0 {
for (long n :
new long[] {
0, 1, 2, 17, 127, 255, -1, -2, -17, -127, 127000, 255000, -100, -200, -1700, -127000,
- -255000
+ -255000,
}) {
ConstantsVisitor visitor = new ConstantsVisitor();
mgr.visit(imgr.makeNumber(n), visitor);
@@ -267,7 +267,7 @@ public class SolverVisitorTest extends SolverBasedTest0 {
for (long n :
new long[] {
0, 1, 2, 17, 127, 255, -1, -2, -17, -127, 127000, 255000, -100, -200, -1700, -127000,
- -255000
+ -255000,
}) {
ConstantsVisitor visitor = new ConstantsVisitor();
mgr.visit(rmgr.makeNumber(n), visitor); // normal integers as rationals
@@ -275,7 +275,8 @@ public class SolverVisitorTest extends SolverBasedTest0 {
}
for (long n :
new long[] {
- 1, 2, 17, 127, 255, -1, -2, -17, -127, 127000, 255000, -100, -200, -1700, -127000, -255000
+ 1, 2, 17, 127, 255, -1, -2, -17, -127, 127000, 255000, -100, -200, -1700, -127000,
+ -255000,
}) {
ConstantsVisitor visitor = new ConstantsVisitor();
mgr.visit(rmgr.makeNumber(Rational.ofLongs(n, 321)), visitor);
