diff options
Diffstat (limited to 'tests/test_example.sh')
| -rw-r--r-- | tests/test_example.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/tests/test_example.sh b/tests/test_example.sh deleted file mode 100644 index f76b606..0000000 --- a/tests/test_example.sh +++ /dev/null @@ -1,19 +0,0 @@ -filename="../../../examples/$1.c" - -"$ducc" "$filename" > main.s -if [[ $? -ne 0 ]]; then - exit 1 -fi -gcc -o a.out main.s -if [[ ! -f input ]]; then - touch input -fi -./a.out "$@" < input > output -exit_code=$? - -if [[ $exit_code -ne 0 ]]; then - echo "invalid exit code: $exit_code" >&2 - exit 1 -fi - -diff -u expected output |