diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 546d80ee04..b733fda941 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -98,9 +98,7 @@ jobs: cargo install cargo-all-features - name: Test - run: | - cd package - cargo test-all-features --all + run: cargo test-all-features --all - name: Print sccache stats run: sccache --show-stats @@ -170,7 +168,7 @@ jobs: run: | SDKROOT=$(xcrun -sdk macosx11.1 --show-sdk-path) \ MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx11.1 --show-sdk-platform-version) \ - cd package && cargo test-all-features --all + cargo test-all-features --all - name: Print sccache stats run: sccache --show-stats diff --git a/compiler/src/test.rs b/compiler/src/test.rs index 244fa58961..0a445757b8 100644 --- a/compiler/src/test.rs +++ b/compiler/src/test.rs @@ -226,6 +226,16 @@ impl Namespace for CompileNamespace { .unwrap_or_else(|_| "Error converting ast to string.".to_string()), ); + if test.name == "string_transformation" { + println!( + "{}", + Ast::from_json_file("/tmp/output/initial_ast.json".into()) + .unwrap_or_else(|_| Ast::new(Program::new("Error reading initial theorem.".to_string()))) + .to_json_string() + .unwrap_or_else(|_| "Error converting ast to string.".to_string()), + ); + } + if std::fs::read_dir("/tmp/output").is_ok() { std::fs::remove_dir_all(std::path::Path::new("/tmp/output")).expect("Error failed to clean up output dir."); }