From 3f518cca7b2c28b790d42b9f29ef0efb672db32e Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 12 May 2015 10:32:01 +0200
Subject: [PATCH] fix name of used binary
---
tests.aderivation.aintegral.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests.aderivation.aintegral.sh b/tests.aderivation.aintegral.sh
index 1fffae40fb..6c6a62ff94 100755
--- a/tests.aderivation.aintegral.sh
+++ b/tests.aderivation.aintegral.sh
@@ -4,7 +4,7 @@
set -o pipefail
-EXECUTABLES="aepsilon2 atrim2 adeterminize2 aminimize2 anormalize2 acompare2 aderivations2 aintegral2 aconversions2"
+EXECUTABLES="aepsilon2 atrim2 adeterminize2 aminimize2 anormalize2 acompare2 aderivation2 aintegral2 aconversions2"
TESTS_DIR="../examples2/regexp"
# ----------------------------
@@ -57,7 +57,7 @@ function runTestD {
FILE_REGEXP_RESULT="$2"
shift 2
- REGEXP_DERIVATIVE=$(./aconvert2 --string_from_string <<< "$1" | ./aderivations2 -r $TESTS_DIR/$FILE_REGEXP_ORIG -s - )
+ REGEXP_DERIVATIVE=$(./aconvert2 --string_from_string <<< "$1" | ./aderivation2 -r $TESTS_DIR/$FILE_REGEXP_ORIG -s - )
REGEXP_RESULT=$(cat $TESTS_DIR/$FILE_REGEXP_RESULT)
runTest "$REGEXP_DERIVATIVE" "$REGEXP_RESULT"
}
--
GitLab