tree 8cbf2cdf3125303e4cd47ec1db60220d5ce884df
parent a99393483949dc56d692f3a37dbcfc51db568341
author Leonardo de Moura <leomoura@amazon.com> 1725225727 -0700
committer Leonardo de Moura <leomoura@amazon.com> 1725225727 -0700

perf: cache visited exprs at `CheckAssignmentQuick`