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 3b0f3d61 2020-01-22 neels 
12 3b0f3d61 2020-01-22 neels 	verify_left="verify.$orig_left"
13 3b0f3d61 2020-01-22 neels 	verify_right="verify.$orig_right"
14 3b0f3d61 2020-01-22 neels 
15 3b0f3d61 2020-01-22 neels         if [ "x$diff_type" = "xunidiff" ]; then
16 3b0f3d61 2020-01-22 neels                 cp "$orig_left" "$verify_right"
17 3b0f3d61 2020-01-22 neels                 patch --quiet -u "$verify_right" "$the_diff"
18 3b0f3d61 2020-01-22 neels                 if ! cmp "$orig_right" "$verify_right" ; then
19 3b0f3d61 2020-01-22 neels                         echo "FAIL: $orig_right != $verify_right"
20 3b0f3d61 2020-01-22 neels                         return 1
21 3b0f3d61 2020-01-22 neels                 fi
22 3b0f3d61 2020-01-22 neels 
23 3b0f3d61 2020-01-22 neels                 cp "$orig_right" "$verify_left"
24 3b0f3d61 2020-01-22 neels                 patch --quiet -u -R "$verify_left" "$the_diff"
25 3b0f3d61 2020-01-22 neels                 if ! cmp "$orig_left" "$verify_left" ; then
26 3b0f3d61 2020-01-22 neels                         echo "FAIL: $orig_left != $verify_left"
27 3b0f3d61 2020-01-22 neels                         return 1
28 3b0f3d61 2020-01-22 neels                 fi
29 3b0f3d61 2020-01-22 neels         else
30 3b0f3d61 2020-01-22 neels                 tail -n +3 "$the_diff" | grep -v "^+" | sed 's/^.//' > "$verify_left"
31 3b0f3d61 2020-01-22 neels                 tail -n +3 "$the_diff" | grep -v "^-" | sed 's/^.//' > "$verify_right"
32 3b0f3d61 2020-01-22 neels 
33 3b0f3d61 2020-01-22 neels                 if ! cmp "$orig_left" "$verify_left" ; then
34 3b0f3d61 2020-01-22 neels                         echo "FAIL: $orig_left != $verify_left"
35 3b0f3d61 2020-01-22 neels                         return 1
36 3b0f3d61 2020-01-22 neels                 fi
37 3b0f3d61 2020-01-22 neels                 if ! cmp "$orig_right" "$verify_right" ; then
38 3b0f3d61 2020-01-22 neels                         echo "FAIL: $orig_right != $verify_right"
39 3b0f3d61 2020-01-22 neels                         return 1
40 3b0f3d61 2020-01-22 neels                 fi
41 3b0f3d61 2020-01-22 neels         fi
42 3b0f3d61 2020-01-22 neels         echo "OK: $diff_prog $orig_left $orig_right"
43 3b0f3d61 2020-01-22 neels         return 0
44 3b0f3d61 2020-01-22 neels }
45 3b0f3d61 2020-01-22 neels 
46 3b0f3d61 2020-01-22 neels for left in test*.left.* ; do
47 3b0f3d61 2020-01-22 neels         right="$(echo "$left" | sed 's/\.left\./.right./')"
48 3b0f3d61 2020-01-22 neels         expected_diff="$(echo "$left" | sed 's/test\([0-9]*\)\..*/expect\1.diff/')"
49 3b0f3d61 2020-01-22 neels         got_diff="verify.$expected_diff"
50 3b0f3d61 2020-01-22 neels 
51 3b0f3d61 2020-01-22 neels         "$diff_prog" "$left" "$right" > "$got_diff"
52 3b0f3d61 2020-01-22 neels 
53 3b0f3d61 2020-01-22 neels         set -e
54 3b0f3d61 2020-01-22 neels 	verify_diff_script "$left" "$right" "$got_diff"
55 3b0f3d61 2020-01-22 neels         set +e
56 3b0f3d61 2020-01-22 neels done