Set continuous scroll in tests

tests/anatomy-bad1.expected

@@ -4,6 +4,7 @@ Reading source file "anatomy-bad1.mm"... 699 bytes
 The source has 8 statements; 1 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 ?Error on line 29 of file "anatomy-bad1.mm" at statement 8, label "wnew", type

tests/anatomy-bad2.expected

@@ -4,6 +4,7 @@ Reading source file "anatomy-bad2.mm"... 696 bytes
 The source has 8 statements; 1 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 ?Error on line 29 of file "anatomy-bad2.mm" at statement 8, label "wnew", type

tests/anatomy-bad3.expected

@@ -4,6 +4,7 @@ Reading source file "anatomy-bad3.mm"... 696 bytes
 The source has 8 statements; 1 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 ?Error on line 29 of file "anatomy-bad3.mm" at statement 8, label "wnew", type

tests/anatomy.expected

@@ -4,6 +4,7 @@ Reading source file "anatomy.mm"... 699 bytes
 The source has 8 statements; 1 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 All proofs in the database were verified.

tests/big-unifier-bad2.expected

@@ -4,6 +4,7 @@ Reading source file "big-unifier-bad2.mm"... 3366 bytes
 The source has 28 statements; 4 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 ?Error on line 68 of file "big-unifier-bad2.mm" at statement 28, label

tests/big-unifier-bad3.expected

@@ -4,6 +4,7 @@ Reading source file "big-unifier-bad3.mm"... 3369 bytes
 The source has 28 statements; 4 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 ?Error on line 68 of file "big-unifier-bad3.mm" at statement 28, label

tests/big-unifier.expected

@@ -4,6 +4,7 @@ Reading source file "big-unifier.mm"... 21981 bytes
 The source has 29 statements; 4 are $a and 2 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 All proofs in the database were verified.

tests/demo0-bad1.expected

@@ -4,6 +4,7 @@ Reading source file "demo0-bad1.mm"... 1353 bytes
 The source has 19 statements; 7 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 ?Error on line 50 of file "demo0-bad1.mm" at statement 19, label "th1", type

tests/demo0-includer.expected

@@ -5,6 +5,7 @@ Reading included file "demo0-includee.mm"... 1145 bytes
 The source has 19 statements; 7 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 All proofs in the database were verified.

tests/demo0.expected

@@ -4,6 +4,7 @@ Reading source file "demo0.mm"... 1353 bytes
 The source has 19 statements; 7 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 ..................................................
 All proofs in the database were verified.

tests/empty.expected

@@ -4,6 +4,7 @@ Reading source file "empty.mm"... 1 bytes
 The source has 0 statements; 0 are $a and 0 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> 0 10%  20%  30%  40%  50%  60%  70%  80%  90% 100%
 
 All proofs in the database were verified.

tests/empty_cmd.expected

@@ -0,0 +1 @@
+MM> Continuous scrolling is now in effect.

tests/run_test.sh

@@ -80,10 +80,14 @@ for test in "$@"; do
   # Actually run the program
   if [ -f "$test.mm" ]; then
     echo -n "test ${white}$test${off}.in + $test.mm: "
-    result=$("$cmd" "$test.mm" < "$test.in")
+    result=$(echo 'set scroll continuous' |
+      cat - "$test.in" |
+      "$cmd" "$test.mm")
   else
     echo -n "test ${white}$test${off}.in: "
-    result=$("$cmd" < "$test.in")
+    result=$(echo 'set scroll continuous' |
+      cat - "$test.in" |
+      "$cmd")
   fi
   # exit code stored in $?
 

tests/verify_markup_1.expected

@@ -4,6 +4,7 @@ Reading source file "verify_markup_1.mm"... 196 bytes
 The source has 4 statements; 0 are $a and 1 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> Checking statement label conventions...
 Checking latexdef, htmldef, althtmldef...
 Checking statement comments...

tests/verify_markup_bad_label.expected

@@ -4,6 +4,7 @@ Reading source file "verify_markup_bad_label.mm"... 206 bytes
 The source has 5 statements; 2 are $a and 0 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> Checking statement label conventions...
 ?Warning: In statement "com1" at line 3 in file "verify_markup_bad_label.mm". 
     To workaround a Microsoft operating system limitation, the the following

tests/verify_markup_empty.expected

@@ -4,6 +4,7 @@ Reading source file "verify_markup_empty.mm"... 1 bytes
 The source has 0 statements; 0 are $a and 0 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> Checking statement label conventions...
 Checking latexdef, htmldef, althtmldef...
 ?Error: There is no $t command in the file "verify_markup_empty.mm".

tests/verify_markup_t_empty.expected

@@ -4,6 +4,7 @@ Reading source file "verify_markup_t_empty.mm"... 9 bytes
 The source has 0 statements; 0 are $a and 0 are $p.
 No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
 if you want to check them.
+MM> Continuous scrolling is now in effect.
 MM> Checking statement label conventions...
 Checking latexdef, htmldef, althtmldef...
 Checking statement comments...