Make name unique?

goblint · Dec 17, 2024 · 406ad22 · 406ad22
1 parent 508d7e2
commit 406ad22
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tests/regression/46-apron2/98-invalidate.c → ...regression/46-apron2/98-invalidate-more.c b/tests/regression/46-apron2/98-invalidate.c → ...regression/46-apron2/98-invalidate-more.c