--- a/main_testing2/wordle_test.sh Thu Dec 08 22:19:21 2022 +0000
+++ b/main_testing2/wordle_test.sh Sat Dec 17 12:42:49 2022 +0000
@@ -170,7 +170,7 @@
echo " evil(secrets, \"stent\").length == 1907" >> $out
echo " evil(secrets, \"hexes\").length == 2966" >> $out
echo " evil(secrets, \"horse\").length == 1203" >> $out
- echo " evil(secrets, \"hoise\").length == 901" >> $out
+ echo " evil(secrets, \"hoise\").length == 971" >> $out
echo " evil(secrets, \"house\").length == 1228" >> $out
if (scala_assert "wordle.scala" "wordle_test5.scala")