Skip to content

Commit

Permalink
Add success/failure message to verify.sh.
Browse files Browse the repository at this point in the history
Relates to #2
  • Loading branch information
sebschmi committed Jul 21, 2020
1 parent c36b5d2 commit 3ecc010
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions verify.sh
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,9 @@ done < "$in_file" > "$clean_in_file"

diff=`diff "$clean_in_file" "$out_file"`
if [ -n "$diff" ]; then
echo "Our output does not match the output from bcalm2!"
echo "$diff"
exit 1
else
echo "Bigraph read and written successfully."
fi

0 comments on commit 3ecc010

Please sign in to comment.