Delete duplicate priv-atomic tests

goblint · Jan 11, 2024 · b12b6e8 · b12b6e8
1 parent d4a1fe4
commit b12b6e8
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 99 deletions.
diff --git a/tests/regression/46-apron2/66-case_distinction_with_ghosts-3.c b/tests/regression/46-apron2/66-case_distinction_with_ghosts-3.c
diff --git a/tests/regression/46-apron2/74-mutex_with_ghosts-3.c b/tests/regression/46-apron2/74-mutex_with_ghosts-3.c
@@ -1,4 +1,5 @@
 // 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
  *                       witness validation using locking to access a shared

diff --git a/tests/regression/46-apron2/75-mutex_with_ghosts-4.c b/tests/regression/46-apron2/75-mutex_with_ghosts-4.c