| 1 | |
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 |
|
| 7 | . "$(dirname "$0")/../lib.sh"
|
| 8 |
|
| 9 | setup
|
| 10 | build_pair changed_data.c
|
| 11 | run_diff 255
|
| 12 |
|
| 13 | diff_log | grep -q 'changed data: klp_test_data' ||
|
| 14 | fail "expected rejection, got: $(diff_log | tail -1)"
|
| 15 | [ -e "$workdir/out.o" ] &&
|
| 16 | fail "output object produced for a rejected input"
|
| 17 |
|
| 18 | pass "changed data symbol rejected"
|