Set continuous scroll in tests (#62)

jkingdon · web-flow · commit 296f66c7ef77 · 2022-02-09T06:28:17.000-08:00
That is, have the test harness prepend "set scroll continuous" to
the .in file.

Update all .expected files to include
"Continuous scrolling is now in effect."
diff --git a/tests/anatomy-bad1.expected b/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
diff --git a/tests/anatomy-bad2.expected b/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
diff --git a/tests/anatomy-bad3.expected b/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
diff --git a/tests/anatomy.expected b/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.
diff --git a/tests/big-unifier-bad2.expected b/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
diff --git a/tests/big-unifier-bad3.expected b/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
diff --git a/tests/big-unifier.expected b/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.
diff --git a/tests/demo0-bad1.expected b/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
diff --git a/tests/demo0-includer.expected b/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.
diff --git a/tests/demo0.expected b/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.
diff --git a/tests/empty.expected b/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.
diff --git a/tests/empty_cmd.expected b/tests/empty_cmd.expected
@@ -0,0 +1 @@
+MM> Continuous scrolling is now in effect.
diff --git a/tests/run_test.sh b/tests/run_test.sh
@@ -81,10 +81,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 $?
 
diff --git a/tests/verify_markup_1.expected b/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...
diff --git a/tests/verify_markup_bad_label.expected b/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
diff --git a/tests/verify_markup_empty.expected b/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".
diff --git a/tests/verify_markup_t_empty.expected b/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...
