Closed SimonGuilloud closed 1 year ago
The Equivalence checker does not keep enough informations about the symbols, leading to the incorrect result
isSame(VariableFormulaLabel("b")(), ConstantPredicateLabel("b", 0)()) == true
Solved in https://github.com/epfl-lara/lisa/pull/83
The Equivalence checker does not keep enough informations about the symbols, leading to the incorrect result