Adding initial rover test cases focusing on constant factorization pr…

…oblems in the mcm and box filter cases (#13)
egraphs-good · Oct 23, 2023 · 9fb66c6 · 9fb66c6
1 parent ee68161
commit 9fb66c6
Show file tree

Hide file tree

Showing 9 changed files with 9 additions and 0 deletions.
diff --git a/data/rover/box_filter_3iteration_egraph.json b/data/rover/box_filter_3iteration_egraph.json
diff --git a/data/rover/box_filter_4iteration_egraph.json b/data/rover/box_filter_4iteration_egraph.json
diff --git a/data/rover/box_filter_5iteration_egraph.json b/data/rover/box_filter_5iteration_egraph.json
diff --git a/data/rover/fir_8_tap_5iteration_egraph.json b/data/rover/fir_8_tap_5iteration_egraph.json
diff --git a/data/rover/fir_8_tap_6iteration_egraph.json b/data/rover/fir_8_tap_6iteration_egraph.json
diff --git a/data/rover/fir_8_tap_7iteration_egraph.json b/data/rover/fir_8_tap_7iteration_egraph.json
diff --git a/data/rover/fir_8_tap_8iteration_egraph.json b/data/rover/fir_8_tap_8iteration_egraph.json
diff --git a/data/rover/mcm_3_7_21_original_8iteration_egraph.json b/data/rover/mcm_3_7_21_original_8iteration_egraph.json
diff --git a/data/rover/mcm_3_7_21_original_9iteration_egraph.json b/data/rover/mcm_3_7_21_original_9iteration_egraph.json