From 873dbda764ec0324c2830cd69c29bbd0306e7038 Mon Sep 17 00:00:00 2001 From: Andrew Cheung Date: Tue, 15 Oct 2024 14:38:30 -0700 Subject: [PATCH 1/2] Update rust.yml --- .github/workflows/rust.yml | 2 ++ 1 file changed, 2 insertions(+) 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 From 6f19d647fcb7d30ee13e725938c5382dcfa71b0f Mon Sep 17 00:00:00 2001 From: Andrew Cheung Date: Tue, 15 Oct 2024 14:50:33 -0700 Subject: [PATCH 2/2] Remove serialization from tests --- tests/math.rs | 7 ------- 1 file changed, 7 deletions(-) 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(); }