3 # Exclude examples 7 and 11 as they use random number generator not compatible across platforms
5 for i in 1 2 3 4 5 6 8 9 10 12 13;
7 echo Computing the diff for example b"$i".
9 if [ `diff -b -B -I '[0-9*.0-9*].*second.*' -I "time for" -I "A PICTURE RECONSTRUCTION" -I "snark14Experimenter" b"$i"r.out b"$i".out | wc -l` == 0 ]
11 echo "No differences found."
13 echo "Some differences were found, you can examine them below."
15 diff -b -B -I '[0-9*.0-9*].*second.*' -I "time for" -I "A PICTURE RECONSTRUCTION" -I "snark14Experimenter" b"$i"r.out b"$i".out | more