diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 5a21ff9..a0e3494 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -16,6 +16,8 @@ jobs: steps: - uses: actions/checkout@v4 + with: + submodules: true - name: Build run: cargo build --verbose - name: Run tests diff --git a/tests/math.rs b/tests/math.rs index 6a45282..edc6a85 100644 --- a/tests/math.rs +++ b/tests/math.rs @@ -270,10 +270,6 @@ fn add_predicates_to_egraph( .as_str(); } egraph.parse_and_run_program(None, &add_preds_prog).unwrap(); - let serialized = egraph.serialize(egglog::SerializeConfig::default()); - serialized - .to_svg_file("new_math_pred_eclasses.svg") - .unwrap(); } } @@ -479,7 +475,4 @@ fn math_eval() { "(check (= (eclass (Num 1)) (eclass (MathOp2 (Div) (Num 1) (Num 1)))))", ) .unwrap(); - - let serialized = egraph.serialize(egglog::SerializeConfig::default()); - serialized.to_svg_file("new_math.svg").unwrap(); }