Move tests with unsupported atomics (#611)

ultimate-pa · Feb 16, 2023 · 92b434b · 92b434b
1 parent 66da1b6
commit 92b434b
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/.../regression/atomic/07-return-before-end.c → ...unsupported-atomic/07-return-before-end.c b/.../regression/atomic/07-return-before-end.c → ...unsupported-atomic/07-return-before-end.c
diff --git a/...reads/regression/atomic/10-double-begin.c → ...eads/unsupported-atomic/10-double-begin.c b/...reads/regression/atomic/10-double-begin.c → ...eads/unsupported-atomic/10-double-begin.c
diff --git a/...hreads/regression/atomic/12-loop-within.c → ...reads/unsupported-atomic/12-loop-within.c b/...hreads/regression/atomic/12-loop-within.c → ...reads/unsupported-atomic/12-loop-within.c
diff --git a/...reads/regression/atomic/16-goto-outside.c → ...eads/unsupported-atomic/16-goto-outside.c b/...reads/regression/atomic/16-goto-outside.c → ...eads/unsupported-atomic/16-goto-outside.c
diff --git a/...reads/regression/atomic/17-pthread_exit.c → ...eads/unsupported-atomic/17-pthread_exit.c b/...reads/regression/atomic/17-pthread_exit.c → ...eads/unsupported-atomic/17-pthread_exit.c