Move tests to openBugs (#611)

ultimate-pa · Jan 16, 2023 · 5c7e9fc · 5c7e9fc
1 parent c1b26da
commit 5c7e9fc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/...s/programs/regression/c/InParamRenaming.c → ...mples/programs/openBugs/InParamRenaming.c b/...s/programs/regression/c/InParamRenaming.c → ...mples/programs/openBugs/InParamRenaming.c
diff --git a/...ression/bpl/multipleCallSuccessors-01.bpl → ...ms/openBugs/multipleCallSuccessors-01.bpl b/...ression/bpl/multipleCallSuccessors-01.bpl → ...ms/openBugs/multipleCallSuccessors-01.bpl