Move to pre-existing folder

goblint · Jan 29, 2024 · 3e9d7f1 · 3e9d7f1
1 parent c27f1bd
commit 3e9d7f1
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/tests/regression/79-mutex2/01-split.c → tests/regression/04-mutex/96-split.c b/tests/regression/79-mutex2/01-split.c → tests/regression/04-mutex/96-split.c
diff --git a/tests/regression/79-mutex2/02-split-mt.c → tests/regression/04-mutex/97-split-mt.c b/tests/regression/79-mutex2/02-split-mt.c → tests/regression/04-mutex/97-split-mt.c