Merge branch 'master' of github.com:feniup/analyzer-pentagon

Philip Feniuk · Philip Feniuk · commit 4112c1385dbd · 2025-07-30T12:17:49.000+02:00
diff --git a/tests/regression/88-pentagon/00-even_simpler.c b/tests/regression/88-pentagon/00-even_simpler.c
@@ -1,5 +1,4 @@
-// Current running command:
-// ./goblint tests/regression/86-pentagon/01-pentagon-simple.c --conf ./conf/pentagon.json
+// SKIP PARAM: --conf ./conf/pentagon.json
 
 #include <goblint.h>
 
diff --git a/tests/regression/88-pentagon/01-pentagon-simple.c b/tests/regression/88-pentagon/01-pentagon-simple.c
@@ -1,3 +1,5 @@
+// SKIP PARAM: --conf ./conf/pentagon.json
+
 #include <goblint.h>
 
 void main(void) {
diff --git a/tests/regression/88-pentagon/02-simple-loop.c b/tests/regression/88-pentagon/02-simple-loop.c
@@ -1,3 +1,5 @@
+// SKIP PARAM: --conf ./conf/pentagon.json
+
 #include <goblint.h>
 
 int main(void) {
diff --git a/tests/regression/88-pentagon/03-lhs-more-than-just-var.c b/tests/regression/88-pentagon/03-lhs-more-than-just-var.c
@@ -1,3 +1,5 @@
+// SKIP PARAM: --conf ./conf/pentagon.json
+
 #include <goblint.h>
 
 int main(void) {
diff --git a/tests/regression/88-pentagon/04-function-call.c b/tests/regression/88-pentagon/04-function-call.c
@@ -1,3 +1,5 @@
+// SKIP PARAM: --conf ./conf/pentagon.json
+
 #include <goblint.h>
 
 int main(void) {
diff --git a/tests/regression/88-pentagon/05-loop.c b/tests/regression/88-pentagon/05-loop.c
@@ -1,3 +1,5 @@
+// SKIP PARAM: --conf ./conf/pentagon.json
+
 #include <goblint.h>
 
 int main() {
diff --git a/tests/regression/88-pentagon/06-subs.c b/tests/regression/88-pentagon/06-subs.c
@@ -1,3 +1,5 @@
+// SKIP PARAM: --conf ./conf/pentagon.json
+
 #include <goblint.h>
 
 int main() {

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// SKIP PARAM: --conf ./conf/pentagon.json`
	`2`	`+`
`1`	`3`	`#include <goblint.h>`
`2`	`4`
`3`	`5`	`void main(void) {`