Add SKIP to priv-atomic tests to fix non-apron build

goblint · Feb 20, 2024 · d6a0653 · d6a0653
1 parent b6ad350
commit d6a0653
Show file tree

Hide file tree

Showing 17 changed files with 17 additions and 17 deletions.
diff --git a/tests/regression/46-apron2/61-atomic_priv.c b/tests/regression/46-apron2/61-atomic_priv.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
 #include <pthread.h>
 #include <goblint.h>
 

diff --git a/tests/regression/46-apron2/62-atomic_fun_priv.c b/tests/regression/46-apron2/62-atomic_fun_priv.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
 #include <pthread.h>
 #include <goblint.h>
 

diff --git a/tests/regression/46-apron2/63-atomic_priv_sound.c b/tests/regression/46-apron2/63-atomic_priv_sound.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
 #include <pthread.h>
 #include <goblint.h>
 

diff --git a/tests/regression/46-apron2/64-atomic_priv_sound2.c b/tests/regression/46-apron2/64-atomic_priv_sound2.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
 #include <pthread.h>
 #include <goblint.h>
 

diff --git a/tests/regression/46-apron2/65-atomic_priv_sound3.c b/tests/regression/46-apron2/65-atomic_priv_sound3.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
 #include <pthread.h>
 #include <goblint.h>
 

diff --git a/tests/regression/46-apron2/66-atomic_relation.c b/tests/regression/46-apron2/66-atomic_relation.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
 #include <pthread.h>
 #include <goblint.h>
 

diff --git a/tests/regression/46-apron2/67-case_distinction_with_ghosts.c b/tests/regression/46-apron2/67-case_distinction_with_ghosts.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
 #include <pthread.h>
 #include <assert.h>
 

diff --git a/tests/regression/46-apron2/68-case_distinction_with_ghosts-2.c b/tests/regression/46-apron2/68-case_distinction_with_ghosts-2.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
 #include <pthread.h>
 #include <assert.h>
 

diff --git a/tests/regression/46-apron2/70-nondet_inc_with_ghosts.c b/tests/regression/46-apron2/70-nondet_inc_with_ghosts.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none --enable ana.apron.threshold_widening
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none --enable ana.apron.threshold_widening
 #include <pthread.h>
 #include <assert.h>
 

diff --git a/tests/regression/46-apron2/71-nondet_inc_with_ghosts-2.c b/tests/regression/46-apron2/71-nondet_inc_with_ghosts-2.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none --enable ana.apron.threshold_widening
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none --enable ana.apron.threshold_widening
 #include <pthread.h>
 #include <assert.h>
 

diff --git a/tests/regression/46-apron2/72-nondet_inc_with_ghosts-3.c b/tests/regression/46-apron2/72-nondet_inc_with_ghosts-3.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
 #include <pthread.h>
 #include <assert.h>
 

diff --git a/tests/regression/46-apron2/73-nondet_inc_with_ghosts-globalize.c b/tests/regression/46-apron2/73-nondet_inc_with_ghosts-globalize.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-tid-atomic --set sem.int.signed_overflow assume_none --enable ana.apron.threshold_widening --set ana.path_sens[+] threadflag --enable ana.apron.strengthening
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-tid-atomic --set sem.int.signed_overflow assume_none --enable ana.apron.threshold_widening --set ana.path_sens[+] threadflag --enable ana.apron.strengthening
 // TODO: -atomic unneeded?
 #include <pthread.h>
 #include <assert.h>

diff --git a/tests/regression/46-apron2/74-mutex.c b/tests/regression/46-apron2/74-mutex.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set ana.base.privatization none
 /*-----------------------------------------------------------------------------
  * mutex.c - Concurrent program using locking to access a shared variable
  *-----------------------------------------------------------------------------

diff --git a/tests/regression/46-apron2/75-mutex_with_ghosts.c b/tests/regression/46-apron2/75-mutex_with_ghosts.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
 /*-----------------------------------------------------------------------------
  * mutex_with_ghosts.c - Annotated concurrent program with ghost variables for
  *                       witness validation using locking to access a shared

diff --git a/tests/regression/46-apron2/76-mutex_with_ghosts-2.c b/tests/regression/46-apron2/76-mutex_with_ghosts-2.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-atomic --set sem.int.signed_overflow assume_none
 /*-----------------------------------------------------------------------------
  * mutex_with_ghosts.c - Annotated concurrent program with ghost variables for
  *                       witness validation using locking to access a shared

diff --git a/tests/regression/46-apron2/77-mutex_with_ghosts-3.c b/tests/regression/46-apron2/77-mutex_with_ghosts-3.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-tid-atomic --set ana.path_sens[+] threadflag --set sem.int.signed_overflow assume_none --enable ana.apron.strengthening
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-tid-atomic --set ana.path_sens[+] threadflag --set sem.int.signed_overflow assume_none --enable ana.apron.strengthening
 // TODO: unsound with cluster12
 /*-----------------------------------------------------------------------------
  * mutex_with_ghosts.c - Annotated concurrent program with ghost variables for

diff --git a/tests/regression/46-apron2/78-case_distinction_with_ghosts-3.c b/tests/regression/46-apron2/78-case_distinction_with_ghosts-3.c
@@ -1,4 +1,4 @@
-// PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-tid-atomic --set sem.int.signed_overflow assume_none --set ana.path_sens[+] threadflag
+// SKIP PARAM: --enable ana.sv-comp.functions --set ana.activated[+] apron --set ana.relation.privatization mutex-meet-tid-atomic --set sem.int.signed_overflow assume_none --set ana.path_sens[+] threadflag
 #include <pthread.h>
 #include <assert.h>