Rename tests to more speaking (arguably less fun) names

goblint · May 15, 2024 · d1ed12c · d1ed12c
1 parent cd79564
commit d1ed12c
Show file tree

Hide file tree

Showing 9 changed files with 2 additions and 6 deletions.
diff --git a/...ion/13-privatized/80-treachery-and-lies.c → ...sion/13-privatized/80-nondet-struct-ptr.c b/...ion/13-privatized/80-treachery-and-lies.c → ...sion/13-privatized/80-nondet-struct-ptr.c
diff --git a/...ized/81-how-could-we-have-been-so-blind.c → ...n/13-privatized/81-nondet-local-pointer.c b/...ized/81-how-could-we-have-been-so-blind.c → ...n/13-privatized/81-nondet-local-pointer.c
@@ -1,5 +1,5 @@
 // PARAM: --set ana.base.privatization protection --enable ana.int.enums
-// Like 80-treachery-and-lies.c, but somewhat simplified to not use structs and malloc etc
+// Like 80-nondet-struct-ptr.c, but somewhat simplified to not use structs and malloc etc
 #include<pthread.h>
 #include<stdlib.h>
 struct a {

diff --git a/...on/13-privatized/82-well-laid-out-plans.c → .../13-privatized/82-nondet-global-pointer.c b/...on/13-privatized/82-well-laid-out-plans.c → .../13-privatized/82-nondet-global-pointer.c
@@ -1,5 +1,5 @@
 // PARAM: --set ana.base.privatization protection --enable ana.int.enums
-// Like 81-how-could-we-have-been-so-blind.c, but with syntactic globals instead of escaping ones.
+// Like 81-nondet-struct-ptr.c, but with syntactic globals instead of escaping ones.
 #include<pthread.h>
 #include<stdlib.h>
 struct a {

diff --git a/...-privatized/83-treachery-and-lies-write.c → ...3-privatized/83-nondet-struct-ptr-write.c b/...-privatized/83-treachery-and-lies-write.c → ...3-privatized/83-nondet-struct-ptr-write.c
diff --git a/...4-how-could-we-have-been-so-blind-write.c → ...rivatized/84-nondet-local-pointer-write.c b/...4-how-could-we-have-been-so-blind-write.c → ...rivatized/84-nondet-local-pointer-write.c
@@ -1,5 +1,4 @@
 // PARAM: --set ana.base.privatization write --enable ana.int.enums
-// Like 80-treachery-and-lies.c, but somewhat simplified to not use structs and malloc etc
 #include<pthread.h>
 #include<stdlib.h>
 struct a {

diff --git a/...privatized/85-well-laid-out-plans-write.c → ...ivatized/85-nondet-global-pointer-write.c b/...privatized/85-well-laid-out-plans-write.c → ...ivatized/85-nondet-global-pointer-write.c
@@ -1,5 +1,4 @@
 // PARAM: --set ana.base.privatization write --enable ana.int.enums
-// Like 81-how-could-we-have-been-so-blind.c, but with syntactic globals instead of escaping ones.
 #include<pthread.h>
 #include<stdlib.h>
 struct a {

diff --git a/...3-privatized/86-treachery-and-lies-lock.c → ...13-privatized/86-nondet-struct-ptr-lock.c b/...3-privatized/86-treachery-and-lies-lock.c → ...13-privatized/86-nondet-struct-ptr-lock.c
diff --git a/...87-how-could-we-have-been-so-blind-lock.c → ...privatized/87-nondet-local-pointer-lock.c b/...87-how-could-we-have-been-so-blind-lock.c → ...privatized/87-nondet-local-pointer-lock.c
@@ -1,5 +1,4 @@
 // PARAM: --set ana.base.privatization lock --enable ana.int.enums
-// Like 80-treachery-and-lies.c, but somewhat simplified to not use structs and malloc etc
 #include<pthread.h>
 #include<stdlib.h>
 struct a {

diff --git a/...-privatized/88-well-laid-out-plans-lock.c → ...rivatized/88-nondet-global-pointer-lock.c b/...-privatized/88-well-laid-out-plans-lock.c → ...rivatized/88-nondet-global-pointer-lock.c
@@ -1,5 +1,4 @@
 // PARAM: --set ana.base.privatization lock --enable ana.int.enums
-// Like 81-how-could-we-have-been-so-blind.c, but with syntactic globals instead of escaping ones.
 #include<pthread.h>
 #include<stdlib.h>
 struct a {