Update verify.sh for proof brittleness

Dargones · Dec 7, 2023 · e1cf47a · e1cf47a
1 parent b8e33eb
commit e1cf47a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/assets/src/brittleness/verify.sh b/assets/src/brittleness/verify.sh
@@ -14,6 +14,6 @@ fi
 cd "$(dirname "$0")"
 
 (dafny verify RationalAdd.dfy > RationalAdd.dfy.out) || true
-diff -w --strip-trailing-cr -B -Z RationalAdd.dfy.out RationalAdd.dfy.expect
+diff -w --unified=3 --strip-trailing-cr RationalAdd.dfy.out RationalAdd.dfy.expect
 rm -f RationalAdd.dfy.out
 dafny verify TriangleSum.dfy