Skip to content

Commit 2ab9462

Browse files
tautschnigtautschnig
committed
Add fault-localization regression tests
Moving the (three) tests from a dedicated folder to cbmc to run them, also making use of all three configurations that the cbmc folder is being tested with.
1 parent 276b8d7 commit 2ab9462

File tree

7 files changed

+0
-19
lines changed

7 files changed

+0
-19
lines changed

‎regression/fault-localization/all_properties1/main.c renamed to ‎regression/cbmc/fault_localization-all_properties1/main.c

File renamed without changes.

‎regression/fault-localization/all_properties1/test.desc renamed to ‎regression/cbmc/fault_localization-all_properties1/test.desc

File renamed without changes.

‎regression/fault-localization/all_properties2/main.c renamed to ‎regression/cbmc/fault_localization-all_properties2/main.c

File renamed without changes.

‎regression/fault-localization/all_properties2/test.desc renamed to ‎regression/cbmc/fault_localization-all_properties2/test.desc

File renamed without changes.

‎regression/fault-localization/stop_on_fail1/main.c renamed to ‎regression/cbmc/fault_localization-stop_on_fail1/main.c

File renamed without changes.

‎regression/fault-localization/stop_on_fail1/test.desc renamed to ‎regression/cbmc/fault_localization-stop_on_fail1/test.desc

File renamed without changes.

‎regression/fault-localization/Makefile

Lines changed: 0 additions & 19 deletions
This file was deleted.

0 commit comments

Comments
 (0)