3 3b0f3d61 2020-01-22 neels diff_prog="../diff/diff"
5 81b40973 2020-01-22 neels diff_type=unidiff
7 3b0f3d61 2020-01-22 neels verify_diff_script() {
8 3b0f3d61 2020-01-22 neels orig_left="$1"
9 3b0f3d61 2020-01-22 neels orig_right="$2"
10 3b0f3d61 2020-01-22 neels the_diff="$3"
11 417a6e49 2020-09-26 stsp expected_diff="$4"
12 417a6e49 2020-09-26 stsp diff_opts="$5"
14 3b0f3d61 2020-01-22 neels verify_left="verify.$orig_left"
15 3b0f3d61 2020-01-22 neels verify_right="verify.$orig_right"
17 417a6e49 2020-09-26 stsp if [ -e "$expected_diff" ]; then
18 417a6e49 2020-09-26 stsp echo cmp "$got_diff" "$expected_diff"
19 732e8ee0 2020-09-20 stsp if ! cmp "$got_diff" "$expected_diff" ; then
20 732e8ee0 2020-09-20 stsp echo "FAIL: $got_diff != $expected_diff"
24 417a6e49 2020-09-26 stsp if [ -z "$diff_opts" -a "x$diff_type" = "xunidiff" ]; then
25 3b0f3d61 2020-01-22 neels cp "$orig_left" "$verify_right"
26 3b0f3d61 2020-01-22 neels patch --quiet -u "$verify_right" "$the_diff"
27 3b0f3d61 2020-01-22 neels if ! cmp "$orig_right" "$verify_right" ; then
28 3b0f3d61 2020-01-22 neels echo "FAIL: $orig_right != $verify_right"
32 3b0f3d61 2020-01-22 neels cp "$orig_right" "$verify_left"
33 3b0f3d61 2020-01-22 neels patch --quiet -u -R "$verify_left" "$the_diff"
34 3b0f3d61 2020-01-22 neels if ! cmp "$orig_left" "$verify_left" ; then
35 3b0f3d61 2020-01-22 neels echo "FAIL: $orig_left != $verify_left"
38 417a6e49 2020-09-26 stsp elif [ -z "$diff_opts" ]; then
39 3b0f3d61 2020-01-22 neels tail -n +3 "$the_diff" | grep -v "^+" | sed 's/^.//' > "$verify_left"
40 3b0f3d61 2020-01-22 neels tail -n +3 "$the_diff" | grep -v "^-" | sed 's/^.//' > "$verify_right"
42 3b0f3d61 2020-01-22 neels if ! cmp "$orig_left" "$verify_left" ; then
43 3b0f3d61 2020-01-22 neels echo "FAIL: $orig_left != $verify_left"
46 3b0f3d61 2020-01-22 neels if ! cmp "$orig_right" "$verify_right" ; then
47 3b0f3d61 2020-01-22 neels echo "FAIL: $orig_right != $verify_right"
51 3b0f3d61 2020-01-22 neels echo "OK: $diff_prog $orig_left $orig_right"
55 732e8ee0 2020-09-20 stsp for left in test*.left* ; do
56 732e8ee0 2020-09-20 stsp right="$(echo "$left" | sed 's/\.left/\.right/')"
57 732e8ee0 2020-09-20 stsp diff_opts="$(echo "$left" | sed 's/test[0-9]*\.left\([-a-zA-Z]*\).txt/\1/')"
58 732e8ee0 2020-09-20 stsp expected_diff="$(echo "$left" | sed 's/test\([-0-9a-zA-Z]*\)\..*/expect\1.diff/')"
59 3b0f3d61 2020-01-22 neels got_diff="verify.$expected_diff"
61 732e8ee0 2020-09-20 stsp "$diff_prog" $diff_opts "$left" "$right" > "$got_diff"
64 417a6e49 2020-09-26 stsp verify_diff_script "$left" "$right" "$got_diff" "$expected_diff" "$diff_opts"