Chidlren of enodes should be other enodes, not eclasses. Fixed #44

egraphs-good · Oct 11, 2024 · 7ec08be · 7ec08be
1 parent eb0b157
commit 7ec08be
Show file tree

Hide file tree

Showing 18 changed files with 18 additions and 18 deletions.
diff --git a/data/herbie/1501.json b/data/herbie/1501.json
diff --git a/data/herbie/1745.json b/data/herbie/1745.json
diff --git a/data/herbie/1774.json b/data/herbie/1774.json
diff --git a/data/herbie/2231.json b/data/herbie/2231.json
diff --git a/data/herbie/2232.json b/data/herbie/2232.json
diff --git a/data/herbie/2953.json b/data/herbie/2953.json
diff --git a/data/herbie/3120.json b/data/herbie/3120.json
diff --git a/data/herbie/356.json b/data/herbie/356.json
diff --git a/data/herbie/3659.json b/data/herbie/3659.json
diff --git a/data/herbie/3662.json b/data/herbie/3662.json
diff --git a/data/herbie/4225.json b/data/herbie/4225.json
diff --git a/data/herbie/4710.json b/data/herbie/4710.json
diff --git a/data/herbie/5421.json b/data/herbie/5421.json
diff --git a/data/herbie/5799.json b/data/herbie/5799.json
diff --git a/data/herbie/6439.json b/data/herbie/6439.json
diff --git a/data/herbie/6712.json b/data/herbie/6712.json
diff --git a/data/herbie/6713.json b/data/herbie/6713.json
diff --git a/data/herbie/859.json b/data/herbie/859.json