FIXED: ошибка в run.sh для запуска оптимизаций дерева (#155)

bmstu-iu9 · May 27, 2019 · 98a9ce8 · 98a9ce8
1 parent 11ffaee
commit 98a9ce8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/autotests/run.sh b/autotests/run.sh
@@ -53,7 +53,7 @@ run_test_all_modes() {
     echo "Special conditions tests is passed"
   fi
 
-  if grep 'CONDITIONS' $1 > /dev/null; then
+  if grep 'TREE' $1 > /dev/null; then
     echo "Pass special conditions tests:"
     SRFLAGS_PLUS="$SRFLAGS_PLUS_INIT"
     SRFLAGS=-OT $2 $1