From 5c7e9fc20754f4f48214fca0568e12375b8fea56 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Mon, 16 Jan 2023 11:43:56 +0100 Subject: [PATCH] Move tests to openBugs (#611) --- .../programs/{regression/c => openBugs}/InParamRenaming.c | 0 .../{regression/bpl => openBugs}/multipleCallSuccessors-01.bpl | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename trunk/examples/programs/{regression/c => openBugs}/InParamRenaming.c (100%) rename trunk/examples/programs/{regression/bpl => openBugs}/multipleCallSuccessors-01.bpl (100%) diff --git a/trunk/examples/programs/regression/c/InParamRenaming.c b/trunk/examples/programs/openBugs/InParamRenaming.c similarity index 100% rename from trunk/examples/programs/regression/c/InParamRenaming.c rename to trunk/examples/programs/openBugs/InParamRenaming.c diff --git a/trunk/examples/programs/regression/bpl/multipleCallSuccessors-01.bpl b/trunk/examples/programs/openBugs/multipleCallSuccessors-01.bpl similarity index 100% rename from trunk/examples/programs/regression/bpl/multipleCallSuccessors-01.bpl rename to trunk/examples/programs/openBugs/multipleCallSuccessors-01.bpl