Skip to content

Commit 6f73ade

Browse files
tautschnigtautschnig
committed
Single chain.sh and directory for goto-instrument tests
There is no need for having yet another script and directory for each and every feature of goto-instrument. Includes minor cleanup of test.desc files (no quotes).
1 parent b686ed3 commit 6f73ade

File tree

87 files changed

+3
-97
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

87 files changed

+3
-97
lines changed

‎regression/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11

2-
DIRS = ansi-c cbmc cpp goto-instrument goto-instrument-unwind goto-analyzer inlining
2+
DIRS = ansi-c cbmc cpp goto-instrument goto-analyzer
33

44
test:
55
$(foreach var,$(DIRS), $(MAKE) -C $(var) test || exit 1;)

‎regression/goto-instrument-unwind/Makefile

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

‎regression/goto-instrument-unwind/unwind-chain.sh

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

‎regression/goto-instrument/const-struct1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
KNOWNBUG
22
main.c
3-
"--show-symbol-table"
3+
--show-symbol-table
44
^Type\.*: struct struct_tag_name$
55
^Type\.*: const double$
66
^EXIT=0$

‎regression/goto-instrument/data-flow1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
CORE
22
main.c
3-
"--show-dependence-graph"
3+
--show-dependence-graph
44
^EXIT=0$
55
^SIGNAL=0$
66
Data dependencies: *[0-9]\+,[0-9]\+,[0-9]\+

‎regression/inlining/inline_01/main.c renamed to ‎regression/goto-instrument/inline_01/main.c

File renamed without changes.

‎regression/inlining/inline_01/test.desc renamed to ‎regression/goto-instrument/inline_01/test.desc

File renamed without changes.

‎regression/inlining/inline_02/main.c renamed to ‎regression/goto-instrument/inline_02/main.c

File renamed without changes.

‎regression/inlining/inline_02/test.desc renamed to ‎regression/goto-instrument/inline_02/test.desc

File renamed without changes.

‎regression/inlining/inline_03/main.c renamed to ‎regression/goto-instrument/inline_03/main.c

File renamed without changes.

‎regression/inlining/inline_03/test.desc renamed to ‎regression/goto-instrument/inline_03/test.desc

File renamed without changes.

‎regression/inlining/inline_04/main.c renamed to ‎regression/goto-instrument/inline_04/main.c

File renamed without changes.

‎regression/inlining/inline_04/test.desc renamed to ‎regression/goto-instrument/inline_04/test.desc

File renamed without changes.

‎regression/inlining/inline_05/main.c renamed to ‎regression/goto-instrument/inline_05/main.c

File renamed without changes.

‎regression/inlining/inline_05/test.desc renamed to ‎regression/goto-instrument/inline_05/test.desc

File renamed without changes.

‎regression/inlining/inline_06/main.c renamed to ‎regression/goto-instrument/inline_06/main.c

File renamed without changes.

‎regression/inlining/inline_06/test.desc renamed to ‎regression/goto-instrument/inline_06/test.desc

File renamed without changes.

‎regression/inlining/inline_07/main.c renamed to ‎regression/goto-instrument/inline_07/main.c

File renamed without changes.

‎regression/inlining/inline_07/test.desc renamed to ‎regression/goto-instrument/inline_07/test.desc

File renamed without changes.

‎regression/inlining/inline_08/main.c renamed to ‎regression/goto-instrument/inline_08/main.c

File renamed without changes.

‎regression/inlining/inline_08/test.desc renamed to ‎regression/goto-instrument/inline_08/test.desc

File renamed without changes.

‎regression/inlining/inline_09/main.c renamed to ‎regression/goto-instrument/inline_09/main.c

File renamed without changes.

‎regression/inlining/inline_09/test.desc renamed to ‎regression/goto-instrument/inline_09/test.desc

File renamed without changes.

‎regression/inlining/inline_10/main.c renamed to ‎regression/goto-instrument/inline_10/main.c

File renamed without changes.

‎regression/inlining/inline_10/test.desc renamed to ‎regression/goto-instrument/inline_10/test.desc

File renamed without changes.

‎regression/inlining/inline_11/main.c renamed to ‎regression/goto-instrument/inline_11/main.c

File renamed without changes.

‎regression/inlining/inline_11/test.desc renamed to ‎regression/goto-instrument/inline_11/test.desc

File renamed without changes.

‎regression/inlining/inline_12/main.c renamed to ‎regression/goto-instrument/inline_12/main.c

File renamed without changes.

‎regression/inlining/inline_12/test.desc renamed to ‎regression/goto-instrument/inline_12/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/assert1/main.c renamed to ‎regression/goto-instrument/unwind-assert1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/assert1/test.desc renamed to ‎regression/goto-instrument/unwind-assert1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/assert2/main.c renamed to ‎regression/goto-instrument/unwind-assert2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/assert2/test.desc renamed to ‎regression/goto-instrument/unwind-assert2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/assert3/main.c renamed to ‎regression/goto-instrument/unwind-assert3/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/assert3/test.desc renamed to ‎regression/goto-instrument/unwind-assert3/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/assume1/main.c renamed to ‎regression/goto-instrument/unwind-assume1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/assume1/test.desc renamed to ‎regression/goto-instrument/unwind-assume1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/assume2/main.c renamed to ‎regression/goto-instrument/unwind-assume2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/assume2/test.desc renamed to ‎regression/goto-instrument/unwind-assume2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/break-loop1/main.c renamed to ‎regression/goto-instrument/unwind-break-loop1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/break-loop1/test.desc renamed to ‎regression/goto-instrument/unwind-break-loop1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/break-loop2/main.c renamed to ‎regression/goto-instrument/unwind-break-loop2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/break-loop2/test.desc renamed to ‎regression/goto-instrument/unwind-break-loop2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/continue-as-loops1/main.c renamed to ‎regression/goto-instrument/unwind-continue-as-loops1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/continue-as-loops1/test.desc renamed to ‎regression/goto-instrument/unwind-continue-as-loops1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/continue-loop1/main.c renamed to ‎regression/goto-instrument/unwind-continue-loop1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/continue-loop1/test.desc renamed to ‎regression/goto-instrument/unwind-continue-loop1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/continue-loop2/main.c renamed to ‎regression/goto-instrument/unwind-continue-loop2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/continue-loop2/test.desc renamed to ‎regression/goto-instrument/unwind-continue-loop2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/do-while-loop1/main.c renamed to ‎regression/goto-instrument/unwind-do-while-loop1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/do-while-loop1/test.desc renamed to ‎regression/goto-instrument/unwind-do-while-loop1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/do-while-loop2/main.c renamed to ‎regression/goto-instrument/unwind-do-while-loop2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/do-while-loop2/test.desc renamed to ‎regression/goto-instrument/unwind-do-while-loop2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/empty-loop1/main.c renamed to ‎regression/goto-instrument/unwind-empty-loop1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/empty-loop1/test.desc renamed to ‎regression/goto-instrument/unwind-empty-loop1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/empty-loop2/main.c renamed to ‎regression/goto-instrument/unwind-empty-loop2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/empty-loop2/test.desc renamed to ‎regression/goto-instrument/unwind-empty-loop2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/nested-loops1/main.c renamed to ‎regression/goto-instrument/unwind-nested-loops1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/nested-loops1/test.desc renamed to ‎regression/goto-instrument/unwind-nested-loops1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/nested-loops2/main.c renamed to ‎regression/goto-instrument/unwind-nested-loops2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/nested-loops2/test.desc renamed to ‎regression/goto-instrument/unwind-nested-loops2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/simple-loop1/main.c renamed to ‎regression/goto-instrument/unwind-simple-loop1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/simple-loop1/test.desc renamed to ‎regression/goto-instrument/unwind-simple-loop1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/simple-loop2/main.c renamed to ‎regression/goto-instrument/unwind-simple-loop2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/simple-loop2/test.desc renamed to ‎regression/goto-instrument/unwind-simple-loop2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwind-log1/main.c renamed to ‎regression/goto-instrument/unwind-unwind-log1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwind-log1/test.desc renamed to ‎regression/goto-instrument/unwind-unwind-log1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset-file1/main.c renamed to ‎regression/goto-instrument/unwind-unwindset-file1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset-file1/test.desc renamed to ‎regression/goto-instrument/unwind-unwindset-file1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset-file1/unwindset.input renamed to ‎regression/goto-instrument/unwind-unwindset-file1/unwindset.input

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset1/main.c renamed to ‎regression/goto-instrument/unwind-unwindset1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset1/test.desc renamed to ‎regression/goto-instrument/unwind-unwindset1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset2/main.c renamed to ‎regression/goto-instrument/unwind-unwindset2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset2/test.desc renamed to ‎regression/goto-instrument/unwind-unwindset2/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset3/main.c renamed to ‎regression/goto-instrument/unwind-unwindset3/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset3/test.desc renamed to ‎regression/goto-instrument/unwind-unwindset3/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset4/main.c renamed to ‎regression/goto-instrument/unwind-unwindset4/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset4/test.desc renamed to ‎regression/goto-instrument/unwind-unwindset4/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset5/main.c renamed to ‎regression/goto-instrument/unwind-unwindset5/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/unwindset5/test.desc renamed to ‎regression/goto-instrument/unwind-unwindset5/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/zero-unwind1/main.c renamed to ‎regression/goto-instrument/unwind-zero-unwind1/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/zero-unwind1/test.desc renamed to ‎regression/goto-instrument/unwind-zero-unwind1/test.desc

File renamed without changes.

‎regression/goto-instrument-unwind/zero-unwind2/main.c renamed to ‎regression/goto-instrument/unwind-zero-unwind2/main.c

File renamed without changes.

‎regression/goto-instrument-unwind/zero-unwind2/test.desc renamed to ‎regression/goto-instrument/unwind-zero-unwind2/test.desc

File renamed without changes.

‎regression/inlining/Makefile

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

‎regression/inlining/chain.sh

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

‎regression/inlining/test.sh

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

0 commit comments

Comments
 (0)