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

egraphs-good · Nov 8, 2024 · ca39f56 · ca39f56
1 parent eb0b157
commit ca39f56
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