Skip to content

Commit 7690d25

Browse files
author
Daniel Kroening
committed
move tests that are meant for goto-gcc only
1 parent ae1d039 commit 7690d25

File tree

82 files changed

+25
-12
lines changed

Some content is hidden

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

82 files changed

+25
-12
lines changed

‎appveyor.yml

+1-6
Original file line numberDiff line numberDiff line change
@@ -64,17 +64,11 @@ test_script:
6464
- cmd: |
6565
cd regression
6666
rem HACK disable failing tests
67-
rmdir /s /q ansi-c\arch_flags_mcpu_bad
68-
rmdir /s /q ansi-c\arch_flags_mcpu_good
69-
rmdir /s /q ansi-c\arch_flags_mthumb_bad
70-
rmdir /s /q ansi-c\arch_flags_mthumb_good
7167
rmdir /s /q ansi-c\Forward_Declaration2
7268
rmdir /s /q ansi-c\Incomplete_Type1
7369
rmdir /s /q ansi-c\Union_Padding1
7470
rmdir /s /q ansi-c\Universal_characters1
7571
rmdir /s /q ansi-c\function_return1
76-
rmdir /s /q ansi-c\gcc_attributes7
77-
rmdir /s /q ansi-c\gcc_version1
7872
rmdir /s /q ansi-c\struct6
7973
rmdir /s /q ansi-c\struct7
8074
rmdir /s /q cbmc\Malloc23
@@ -86,6 +80,7 @@ test_script:
8680
rmdir /s /q cbmc\byte_update7
8781
rmdir /s /q cbmc\pipe1
8882
rmdir /s /q cbmc\unsigned___int128
83+
rmdir /s /q goto-cc
8984
rmdir /s /q goto-gcc
9085
rmdir /s /q goto-instrument\slice08
9186
cd ..

‎buildspec-windows.yml

+1-6
Original file line numberDiff line numberDiff line change
@@ -28,17 +28,11 @@ phases:
2828
- |
2929
cd regression
3030
# HACK disable failing tests
31-
Remove-Item ansi-c\arch_flags_mcpu_bad -Force -Recurse
32-
Remove-Item ansi-c\arch_flags_mcpu_good -Force -Recurse
33-
Remove-Item ansi-c\arch_flags_mthumb_bad -Force -Recurse
34-
Remove-Item ansi-c\arch_flags_mthumb_good -Force -Recurse
3531
Remove-Item ansi-c\Forward_Declaration2 -Force -Recurse
3632
Remove-Item ansi-c\Incomplete_Type1 -Force -Recurse
3733
Remove-Item ansi-c\Union_Padding1 -Force -Recurse
3834
Remove-Item ansi-c\Universal_characters1 -Force -Recurse
3935
Remove-Item ansi-c\function_return1 -Force -Recurse
40-
Remove-Item ansi-c\gcc_attributes7 -Force -Recurse
41-
Remove-Item ansi-c\gcc_version1 -Force -Recurse
4236
Remove-Item ansi-c\struct6 -Force -Recurse
4337
Remove-Item ansi-c\struct7 -Force -Recurse
4438
Remove-Item cbmc\Malloc23 -Force -Recurse
@@ -52,6 +46,7 @@ phases:
5246
Remove-Item cbmc\unsigned___int128 -Force -Recurse
5347
Remove-Item cpp -Force -Recurse
5448
Remove-Item cbmc-cpp -Force -Recurse
49+
Remove-Item goto-cc -Force -Recurse
5550
Remove-Item goto-gcc -Force -Recurse
5651
Remove-Item systemc -Force -Recurse
5752
Remove-Item goto-instrument\slice08 -Force -Recurse

‎regression/Makefile

+1
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,7 @@ DIRS = cbmc \
1414
goto-diff \
1515
test-script \
1616
goto-analyzer-taint \
17+
goto-cc \
1718
goto-gcc \
1819
goto-cc-cbmc \
1920
cbmc-cpp \

‎regression/goto-cc/CMakeLists.txt

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
add_test_pl_tests(
2+
"$<TARGET_FILE:goto-cc>"
3+
)

‎regression/goto-cc/Makefile

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
default: tests.log
2+
3+
test:
4+
@../test.pl -p -c ../../../src/goto-cc/goto-cc
5+
6+
tests.log: ../test.pl
7+
@../test.pl -p -c ../../../src/goto-cc/goto-cc
8+
9+
show:
10+
@for dir in *; do \
11+
if [ -d "$$dir" ]; then \
12+
vim -o "$$dir/*.c" "$$dir/*.out"; \
13+
fi; \
14+
done;
15+
16+
clean:
17+
find -name '*.out' -execdir $(RM) '{}' \;
18+
find -name '*.gb' -execdir $(RM) '{}' \;
19+
$(RM) tests.log

‎regression/ansi-c/arch_flags_mcpu_bad/object.intel renamed to ‎regression/goto-cc/arch_flags_mcpu_bad/object.intel

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_bad/preproc.i renamed to ‎regression/goto-cc/arch_flags_mcpu_bad/preproc.i

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_bad/source.c renamed to ‎regression/goto-cc/arch_flags_mcpu_bad/source.c

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_bad/test.desc renamed to ‎regression/goto-cc/arch_flags_mcpu_bad/test.desc

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_good/object.arm renamed to ‎regression/goto-cc/arch_flags_mcpu_good/object.arm

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_good/preproc.i renamed to ‎regression/goto-cc/arch_flags_mcpu_good/preproc.i

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_good/source.c renamed to ‎regression/goto-cc/arch_flags_mcpu_good/source.c

File renamed without changes.

‎regression/ansi-c/arch_flags_mcpu_good/test.desc renamed to ‎regression/goto-cc/arch_flags_mcpu_good/test.desc

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_bad/object.intel renamed to ‎regression/goto-cc/arch_flags_mthumb_bad/object.intel

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_bad/preproc.i renamed to ‎regression/goto-cc/arch_flags_mthumb_bad/preproc.i

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_bad/source.c renamed to ‎regression/goto-cc/arch_flags_mthumb_bad/source.c

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_bad/test.desc renamed to ‎regression/goto-cc/arch_flags_mthumb_bad/test.desc

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_good/object.arm renamed to ‎regression/goto-cc/arch_flags_mthumb_good/object.arm

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_good/preproc.i renamed to ‎regression/goto-cc/arch_flags_mthumb_good/preproc.i

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_good/source.c renamed to ‎regression/goto-cc/arch_flags_mthumb_good/source.c

File renamed without changes.

‎regression/ansi-c/arch_flags_mthumb_good/test.desc renamed to ‎regression/goto-cc/arch_flags_mthumb_good/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes10/main.c renamed to ‎regression/goto-cc/gcc_attributes10/main.c

File renamed without changes.

‎regression/ansi-c/gcc___auto_type1/test.desc renamed to ‎regression/goto-cc/gcc_attributes10/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes9/main.c renamed to ‎regression/goto-cc/gcc_attributes9/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes1/test.desc renamed to ‎regression/goto-cc/gcc_attributes9/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtins4/main.c renamed to ‎regression/goto-cc/gcc_builtins4/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes10/test.desc renamed to ‎regression/goto-cc/gcc_builtins4/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_version1/fake-gcc-4 renamed to ‎regression/goto-cc/gcc_version1/fake-gcc-4

File renamed without changes.

‎regression/ansi-c/gcc_version1/fake-gcc-5 renamed to ‎regression/goto-cc/gcc_version1/fake-gcc-5

File renamed without changes.

‎regression/ansi-c/gcc_version1/fake-gcc-7 renamed to ‎regression/goto-cc/gcc_version1/fake-gcc-7

File renamed without changes.

‎regression/ansi-c/gcc_version1/gcc-4.c renamed to ‎regression/goto-cc/gcc_version1/gcc-4.c

File renamed without changes.

‎regression/ansi-c/gcc_version1/gcc-5.c renamed to ‎regression/goto-cc/gcc_version1/gcc-5.c

File renamed without changes.

‎regression/ansi-c/gcc_version1/gcc-7.c renamed to ‎regression/goto-cc/gcc_version1/gcc-7.c

File renamed without changes.

‎regression/ansi-c/gcc_version1/test-gcc-4.desc renamed to ‎regression/goto-cc/gcc_version1/test-gcc-4.desc

File renamed without changes.

‎regression/ansi-c/gcc_version1/test-gcc-5.desc renamed to ‎regression/goto-cc/gcc_version1/test-gcc-5.desc

File renamed without changes.

‎regression/ansi-c/gcc_version1/test-gcc-7.desc renamed to ‎regression/goto-cc/gcc_version1/test-gcc-7.desc

File renamed without changes.

‎regression/ansi-c/gcc___auto_type1/main.c renamed to ‎regression/goto-gcc/gcc___auto_type1/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes11/test.desc renamed to ‎regression/goto-gcc/gcc___auto_type1/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes1/main.c renamed to ‎regression/goto-gcc/gcc_attributes1/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes12/test.desc renamed to ‎regression/goto-gcc/gcc_attributes1/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes11/main.c renamed to ‎regression/goto-gcc/gcc_attributes11/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes13/test.desc renamed to ‎regression/goto-gcc/gcc_attributes11/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes12/main.c renamed to ‎regression/goto-gcc/gcc_attributes12/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes2/test.desc renamed to ‎regression/goto-gcc/gcc_attributes12/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes13/main.c renamed to ‎regression/goto-gcc/gcc_attributes13/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes3/test.desc renamed to ‎regression/goto-gcc/gcc_attributes13/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes2/main.c renamed to ‎regression/goto-gcc/gcc_attributes2/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes4/test.desc renamed to ‎regression/goto-gcc/gcc_attributes2/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes3/main.c renamed to ‎regression/goto-gcc/gcc_attributes3/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes5/test.desc renamed to ‎regression/goto-gcc/gcc_attributes3/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes4/main.c renamed to ‎regression/goto-gcc/gcc_attributes4/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes6/test.desc renamed to ‎regression/goto-gcc/gcc_attributes4/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes5/main.c renamed to ‎regression/goto-gcc/gcc_attributes5/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes8/test.desc renamed to ‎regression/goto-gcc/gcc_attributes5/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes6/main.c renamed to ‎regression/goto-gcc/gcc_attributes6/main.c

File renamed without changes.

‎regression/ansi-c/gcc_attributes9/test.desc renamed to ‎regression/goto-gcc/gcc_attributes6/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes7/main.i renamed to ‎regression/goto-gcc/gcc_attributes7/main.i

File renamed without changes.

‎regression/ansi-c/gcc_attributes7/test.desc renamed to ‎regression/goto-gcc/gcc_attributes7/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_attributes8/main.c renamed to ‎regression/goto-gcc/gcc_attributes8/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtin_constant_p1/test.desc renamed to ‎regression/goto-gcc/gcc_attributes8/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtin_constant_p1/main.c renamed to ‎regression/goto-gcc/gcc_builtin_constant_p1/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtins1/test.desc renamed to ‎regression/goto-gcc/gcc_builtin_constant_p1/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtins1/main.c renamed to ‎regression/goto-gcc/gcc_builtins1/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtins2/test.desc renamed to ‎regression/goto-gcc/gcc_builtins1/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtins2/main.c renamed to ‎regression/goto-gcc/gcc_builtins2/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtins3/test.desc renamed to ‎regression/goto-gcc/gcc_builtins2/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtins3/main.c renamed to ‎regression/goto-gcc/gcc_builtins3/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtins4/test.desc renamed to ‎regression/goto-gcc/gcc_builtins3/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtins5/main.c renamed to ‎regression/goto-gcc/gcc_builtins5/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtins5/test.desc renamed to ‎regression/goto-gcc/gcc_builtins5/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_builtins6/main.c renamed to ‎regression/goto-gcc/gcc_builtins6/main.c

File renamed without changes.

‎regression/ansi-c/gcc_builtins6/test.desc renamed to ‎regression/goto-gcc/gcc_builtins6/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p1/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p1/main.c

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p1/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p1/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p2/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p2/main.c

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p2/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p2/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p3/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p3/main.c

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p3/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p3/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p4/main.c renamed to ‎regression/goto-gcc/gcc_types_compatible_p4/main.c

File renamed without changes.

‎regression/ansi-c/gcc_types_compatible_p4/test.desc renamed to ‎regression/goto-gcc/gcc_types_compatible_p4/test.desc

File renamed without changes.

‎regression/ansi-c/gcc_vector1/main.c renamed to ‎regression/goto-gcc/gcc_vector1/main.c

File renamed without changes.

‎regression/ansi-c/gcc_vector1/test.desc renamed to ‎regression/goto-gcc/gcc_vector1/test.desc

File renamed without changes.

0 commit comments

Comments
 (0)