diff --git a/tests/anatomy-bad1.expected b/tests/anatomy-bad1.expected index 3be689a5..ac549c36 100644 --- 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 index b28f2b75..af47381e 100644 --- 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 index 032d5445..b49928ad 100644 --- 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 index 27525686..e2b9b912 100644 --- 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 index 73187dfb..860a9e68 100644 --- 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 index 13f51957..12d02410 100644 --- 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 index 8f8980ad..2e62c716 100644 --- 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 index a121e3a9..20d5d578 100644 --- 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 index 0eeb9294..9f98674d 100644 --- 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 index 6bd89b85..1d7c2a53 100644 --- 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 index 0d25a4b1..ca6d025f 100644 --- 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 index e69de29b..12409e93 100644 --- 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 index 95afeb5b..e7f28c1f 100755 --- a/tests/run_test.sh +++ b/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 $? diff --git a/tests/verify_markup_1.expected b/tests/verify_markup_1.expected index 9ca6a469..8849901e 100644 --- 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 index 0c3646af..89c026ee 100644 --- 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 index 95410840..1d478170 100644 --- 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 index d1e2c8b3..caa3c558 100644 --- 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...