Move tests

goblint · Nov 4, 2024 · eb149f9 · eb149f9
1 parent 1bb50df
commit eb149f9
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/...on/40-threadid/12-multiple-created-only.c → ...ssion/10-synch/29-multiple-created-only.c b/...on/40-threadid/12-multiple-created-only.c → ...ssion/10-synch/29-multiple-created-only.c
diff --git a/tests/regression/40-threadid/13-no-crash.c → tests/regression/10-synch/30-no-crash.c b/tests/regression/40-threadid/13-no-crash.c → tests/regression/10-synch/30-no-crash.c