fix tests naming issue

goblint · Jan 8, 2024 · b12cabc · b12cabc
1 parent 26e602f
commit b12cabc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 12 deletions.
diff --git a/...ssion/77-lin2vareq/30-join-non-constant.c → ...ssion/77-lin2vareq/13-join-non-constant.c b/...ssion/77-lin2vareq/30-join-non-constant.c → ...ssion/77-lin2vareq/13-join-non-constant.c
diff --git a/tests/regression/77-lin2vareq/13-join_after_guard.c b/tests/regression/77-lin2vareq/13-join_after_guard.c