Skip to content

Fix is_rec_assign bug in simpleChecker.ml#43

Open
0npv527yh9 wants to merge 1 commit intomasterfrom
bugfix/simplechecker-recursive
Open

Fix is_rec_assign bug in simpleChecker.ml#43
0npv527yh9 wants to merge 1 commit intomasterfrom
bugfix/simplechecker-recursive

Commits

Commits on Nov 8, 2023