Use loose LR in tree tests

nickdrozd · Nov 14, 2023 · db8cbd4 · db8cbd4
1 parent 70c99e2
commit db8cbd4
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/test/test_tree.py b/test/test_tree.py
@@ -5,7 +5,7 @@
 from typing import TYPE_CHECKING
 
 from tm.machine import Machine
-from tm.lin_rec import StrictLinRecMachine
+from tm.lin_rec import LooseLinRecMachine
 from tm.reason import BackwardReasoner
 from generate.tree import run_tree_gen
 
@@ -42,9 +42,8 @@ def run_variations(
         lin_rec: int = 50,
         block_steps: int = 1_000,
 ) -> Iterator[BasicMachine]:
-    yield StrictLinRecMachine(prog).run(
+    yield LooseLinRecMachine(prog).run(
         sim_lim = lin_rec,
-        check_rec = 0,
     )
 
     yield Machine(