debug ci differences

.circleci/config.yml

@@ -53,7 +53,7 @@ jobs:
       - run:
           name: Build and run tests
           no_output_timeout: 30m
-          command: cargo test --all
+          command: cargo test --all -- --nocapture
       - persist_to_workspace:
           root: ~/
           paths: project/

.github/workflows/ci.yml

@@ -116,7 +116,7 @@ jobs:
         uses: actions-rs/cargo@v1
         with:
           command: test
-          args: --all --features ci_skip
+          args: --all --features ci_skip -- --nocapture
         env:
           CARGO_INCREMENTAL: "0"
 

compiler/src/test.rs

@@ -211,6 +211,13 @@ impl Namespace for CompileNamespace {
                 output,
             });
         }
+        if test.name.contains("reverse") {
+            println!(
+                "debug print initial ast {:?}",
+                Ast::from_json_file("/tmp/output/initial_ast.json".into())
+                    .unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string())))
+            );
+        }
 
         let initial_ast: String = hash(
             Ast::from_json_file("/tmp/output/initial_ast.json".into())