We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 834ad92 commit 174b304Copy full SHA for 174b304
1 file changed
cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c
@@ -431,7 +431,7 @@ int test_unsigned_mult01(unsigned int a, unsigned b) {
431
432
if (3 <= a && a <= 11 && 5 <= b && b <= 23) {
433
int r = a*b; // 15 .. 253
434
- total += r;11*
+ total += r;
435
}
436
if (3 <= a && a <= 11 && 0 <= b && b <= 23) {
437
int r = a*b; // 0 .. 253
0 commit comments