From db8cbd4242797fe8152fdbc8546c445366b3abbd Mon Sep 17 00:00:00 2001 From: Nick Drozd Date: Tue, 14 Nov 2023 16:20:02 -0500 Subject: [PATCH] Use loose LR in tree tests --- test/test_tree.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/test/test_tree.py b/test/test_tree.py index d647cb83..f776f09d 100644 --- 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(