Added * after [[space]] to ensure it also matches when there is no space

Author: brpetrucci

tutorials/run_tutorial_tests.sh

@@ -83,12 +83,12 @@ for t in */tests.txt; do
         (
             cd scripts
             cat "$script" |
-            sed 's/generations[[:space:]]=[[:space:]][0-9]*/generations=1/g' |
+            sed 's/generations[[:space:]]*=[[:space:]]*[0-9]*/generations=1/g' |
             sed 's/rules[[:space:]]*=[[:space:]]*[^,]*/generations=1/g' |
             sed 's/^n_gen *= *[0-9]*/n_gen = 1/' |
             sed 's/\.burnin([0-9][0-9]*/.burnin(1/' |
             sed 's/\.run([0-9][0-9]*/.run(1/' |
-            sed 's/checkpointInterval=[0-9]*/checkpointInterval=1/g'  > "cp_$script"
+            sed 's/checkpointInterval[[:space:]]*=[[:space:]]*[0-9]*/checkpointInterval=1/g'  > "cp_$script"
         )
         ${rb_exec} -b scripts/cp_$script &> "output/${script%.[Rr]ev}.errout"
         script_result="$?"