rename test case with number 100

goblint · Jan 31, 2024 · 75d4a48 · 75d4a48
1 parent 42016df
commit 75d4a48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/36-apron/100-sizeOf.c → tests/regression/46-apron2/60-sizeOf.c b/tests/regression/36-apron/100-sizeOf.c → tests/regression/46-apron2/60-sizeOf.c
@@ -1,4 +1,4 @@
-// SKIP PARAM: --set ana.activated[+] apron --set ana.apron.domain polyhedra
+// PARAM: --set ana.activated[+] apron --set ana.apron.domain polyhedra --enable ana.int.interval
 #include <stdio.h>
 #include <goblint.h>