ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity

debug windows ci this time

Browse Source
This commit is contained in:
gluaxspeed 2021-08-12 04:44:45 -07:00
parent d0d1203381
commit e69e81110e
2 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/ci.yml vendored
View File

@ -98,9 +98,7 @@ jobs:
cargo install cargo-all-features cargo install cargo-all-features
- name: Test - name: Test
run: | run: cargo test-all-features --all
cd package
cargo test-all-features --all
- name: Print sccache stats - name: Print sccache stats
run: sccache --show-stats run: sccache --show-stats
@ -170,7 +168,7 @@ jobs:
run: | run: |
SDKROOT=$(xcrun -sdk macosx11.1 --show-sdk-path) \ SDKROOT=$(xcrun -sdk macosx11.1 --show-sdk-path) \
MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx11.1 --show-sdk-platform-version) \ 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 - name: Print sccache stats
run: sccache --show-stats run: sccache --show-stats

10
compiler/src/test.rs
View File

@ -226,6 +226,16 @@ impl Namespace for CompileNamespace {
.unwrap_or_else(|_| "Error converting ast to string.".to_string()), .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() { 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."); std::fs::remove_dir_all(std::path::Path::new("/tmp/output")).expect("Error failed to clean up output dir.");
} }