Blame


1 3b0f3d61 2020-01-22 neels #!/bin/sh
2 3b0f3d61 2020-01-22 neels
3 3b0f3d61 2020-01-22 neels diff_prog="../diff/diff"
4 3b0f3d61 2020-01-22 neels
5 81b40973 2020-01-22 neels diff_type=unidiff
6 3b0f3d61 2020-01-22 neels
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"
13 3b0f3d61 2020-01-22 neels
14 3b0f3d61 2020-01-22 neels verify_left="verify.$orig_left"
15 3b0f3d61 2020-01-22 neels verify_right="verify.$orig_right"
16 3b0f3d61 2020-01-22 neels
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"
21 732e8ee0 2020-09-20 stsp return 1
22 732e8ee0 2020-09-20 stsp fi
23 417a6e49 2020-09-26 stsp fi
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"
29 3b0f3d61 2020-01-22 neels return 1
30 3b0f3d61 2020-01-22 neels fi
31 3b0f3d61 2020-01-22 neels
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"
36 3b0f3d61 2020-01-22 neels return 1
37 3b0f3d61 2020-01-22 neels fi
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"
41 3b0f3d61 2020-01-22 neels
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"
44 3b0f3d61 2020-01-22 neels return 1
45 3b0f3d61 2020-01-22 neels fi
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"
48 3b0f3d61 2020-01-22 neels return 1
49 3b0f3d61 2020-01-22 neels fi
50 3b0f3d61 2020-01-22 neels fi
51 3b0f3d61 2020-01-22 neels echo "OK: $diff_prog $orig_left $orig_right"
52 3b0f3d61 2020-01-22 neels return 0
53 3b0f3d61 2020-01-22 neels }
54 3b0f3d61 2020-01-22 neels
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"
60 3b0f3d61 2020-01-22 neels
61 732e8ee0 2020-09-20 stsp "$diff_prog" $diff_opts "$left" "$right" > "$got_diff"
62 3b0f3d61 2020-01-22 neels
63 3b0f3d61 2020-01-22 neels set -e
64 417a6e49 2020-09-26 stsp verify_diff_script "$left" "$right" "$got_diff" "$expected_diff" "$diff_opts"
65 3b0f3d61 2020-01-22 neels set +e
66 3b0f3d61 2020-01-22 neels done