"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"

[ginac.git] / check / run_checks

diff --git a/check/run_checks b/check/run_checks
index 1c9e6bab33e3163df883960611d05a5eba1b9a24..6304d18f5b66b09086d9a690a36071bdd9058e9e 100755 (executable)
--- a/check/run_checks
+++ b/check/run_checks
@@ -1,5 +1,4 @@
 #! /bin/sh
-echo "Running checks..."
-./check_ginac 2>result.out
-echo "Comparing output..."
-cmp result.ref result.out
+echo "GiNaC will now run through some rather costly random consistency checks:"
+./checks 2>checks.out
+cmp ${srcdir}/checks.ref checks.out