making rte tests work for me

98a593f3 · Jan Trávníček · 07a6ac05 · 98a593f3 · 98a593f3 · 98a593f3
Commit 98a593f3 authored 8 years ago by Jan Trávníček
--- a/examples2/rte/gen_rte1.py
+++ b/examples2/rte/gen_rte1.py
--- a/examples2/rte/gen_rte2.py
+++ b/examples2/rte/gen_rte2.py
--- a/examples2/rte/gen_rte3.py
+++ b/examples2/rte/gen_rte3.py
--- a/examples2/rte/gen_rte4.py
+++ b/examples2/rte/gen_rte4.py
--- a/examples2/rte/gen_rte5.py
+++ b/examples2/rte/gen_rte5.py
--- a/examples2/rte/gen_rte6.py
+++ b/examples2/rte/gen_rte6.py
--- a/examples2/rte/gen_rte7.py
+++ b/examples2/rte/gen_rte7.py
--- a/examples2/rte/gen_rte8.py
+++ b/examples2/rte/gen_rte8.py
--- a/examples2/rte/gen_rte9.py
+++ b/examples2/rte/gen_rte9.py
--- a/tests.glushkovrte.sh
+++ b/tests.glushkovrte.sh
@@ -54,7 +54,7 @@ function log {
 # $3 = rte
 function runAcceptTest {
 	PATTERN=$(mktemp)
-	OUT=`timeout $TESTCASE_TIMEOUT bash -c "./arun2 -i <(python $1 | tee $PATTERN | ./aconvert2 --string_from_string) -a $2"`
+	OUT=`timeout $TESTCASE_TIMEOUT bash -c "./arun2 -i <($1 | tee $PATTERN | ./aconvert2 --string_from_string) -a $2"`
 	RET=$?
 	if [ $RET == 0 ]; then # ok
 		echo $OUT | grep -q "<Bool>true</Bool>"