Skip to content

Add comprehensive test suite for template, substitution, and FOL patterns#7

Open
sileod wants to merge 2 commits into
mainfrom
claude/fix-template-digit-bugs-iCtxf
Open

Add comprehensive test suite for template, substitution, and FOL patterns#7
sileod wants to merge 2 commits into
mainfrom
claude/fix-template-digit-bugs-iCtxf

Fix two template/digit bugs and add depth-bound tests

22ac523
Select commit
Loading
Failed to load commit list.

There are no checks for this commit