Unit test for lambda theory fails check_analysis test
Closed this issue · 0 comments
gkronber commented
This issue refers to the ale/3.0 branch.
After activating the check_analysis() assertion in rebuild!(g::EGraph) the unit tests for lambda_theory fail, because the join-semilattice invariant is not fullfilled.
If I'm not mistaken, the code of the semantic analysis methods (make and join) in lambda_theory.jl is not correct.
Metatheory.jl/test/tutorials/lambda_theory.jl
Line 107 in 8ad3c31