Skip to content

[Egraph] Fix a bug in egraph (node with value)

François Bobot requested to merge bobot/for_master into master

The value of a node was replaced when set to a new value

Merge request reports