symbolic execution: fix syntax error

symbolic_execution.yml

@@ -19,7 +19,7 @@ run_symbolic_execution:
     - klee test.bc
     - clang klee_test.c -DSYMBOLIC_EXECUTION -lkleeRuntest -L /home/klee/klee_build/lib -o klee_runner
     - |+
-      for file in `ls klee-out-0/*.ktest ; do
+      for file in `ls klee-out-0/*.ktest` ; do
         echo Testing $file
         KTEST_FILE="$file" ./klee_runner
       done