Fix duplicate test 39/17 (PR #1935)

Author: sim642

…ion/39-signed-overflows/17-mod-minus-1.c …ion/39-signed-overflows/18-mod-minus-1.ctests/regression/39-signed-overflows/17-mod-minus-1.c renamed to tests/regression/39-signed-overflows/18-mod-minus-1.c tests/regression/39-signed-overflows/17-mod-minus-1.c renamed to tests/regression/39-signed-overflows/18-mod-minus-1.c

@@ -1,18 +1,18 @@
-  $ goblint --enable warn.deterministic --enable ana.int.interval 17-mod-minus-1.c
-  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (17-mod-minus-1.c:5:9-5:26)
-  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (17-mod-minus-1.c:7:5-7:16)
-  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (17-mod-minus-1.c:9:9-9:20)
-  [Warning][Integer > DivByZero][CWE-369] Second argument of modulo might be zero (17-mod-minus-1.c:7:5-7:16)
+  $ goblint --enable warn.deterministic --enable ana.int.interval 18-mod-minus-1.c
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (18-mod-minus-1.c:5:9-5:26)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (18-mod-minus-1.c:7:5-7:16)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (18-mod-minus-1.c:9:9-9:20)
+  [Warning][Integer > DivByZero][CWE-369] Second argument of modulo might be zero (18-mod-minus-1.c:7:5-7:16)
   [Info][Deadcode] Logical lines of code (LLoC) summary:
     live: 6
     dead: 0
     total lines: 6
 
-  $ goblint --enable warn.deterministic --enable ana.int.interval_set 17-mod-minus-1.c
-  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (17-mod-minus-1.c:5:9-5:26)
-  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (17-mod-minus-1.c:7:5-7:16)
-  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (17-mod-minus-1.c:9:9-9:20)
-  [Warning][Integer > DivByZero][CWE-369] Second argument of modulo might be zero (17-mod-minus-1.c:7:5-7:16)
+  $ goblint --enable warn.deterministic --enable ana.int.interval_set 18-mod-minus-1.c
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (18-mod-minus-1.c:5:9-5:26)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (18-mod-minus-1.c:7:5-7:16)
+  [Warning][Integer > Overflow][CWE-190] Signed integer overflow in % (18-mod-minus-1.c:9:9-9:20)
+  [Warning][Integer > DivByZero][CWE-369] Second argument of modulo might be zero (18-mod-minus-1.c:7:5-7:16)
   [Info][Deadcode] Logical lines of code (LLoC) summary:
     live: 6
     dead: 0