Skip to content

Commit

Permalink
fix GH actions setup
Browse files Browse the repository at this point in the history
  • Loading branch information
ejrgilbert committed May 3, 2024
1 parent 7e3cbac commit 130ee4d
Showing 1 changed file with 3 additions and 26 deletions.
29 changes: 3 additions & 26 deletions tests/integration_test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ mod common;
use whamm::generator::emitters::{WasmRewritingEmitter};
use whamm::generator::code_generator::{CodeGenerator};

use log::{error, info};
use log::error;
use std::fs;
use std::process::{Command, Stdio};
use std::path::Path;
Expand All @@ -13,7 +13,6 @@ const APP_WASM_PATH: &str = "tests/apps/users.wasm";

const OUT_BASE_DIR: &str = "target";
const OUT_WASM_NAME: &str = "out.wasm";
const OUT_WAT_NAME: &str = "out.wat";

fn get_wasm_module() -> Module {
// Read app Wasm into Walrus module
Expand Down Expand Up @@ -50,33 +49,11 @@ fn instrument_with_fault_injection() {
}

let out_wasm_path = format!("{OUT_BASE_DIR}/{OUT_WASM_NAME}");
let out_wat_path = format!("{OUT_BASE_DIR}/{OUT_WAT_NAME}");

generator.dump_to_file(out_wasm_path.to_string());
// let mut ls = Command::new("ls");
// ls.arg("-al")
// .arg(OUT_BASE_DIR);
// ls.status().expect("process failed to execute");
//
// let mut ls = Command::new("ls");
// ls.arg("-al")
// .arg(out_wasm_path.clone());
// ls.status().expect("process failed to execute");
//
// let mut ls = Command::new("ls");
// ls.arg("-al")
// .arg(out_wat_path.clone());
// ls.status().expect("process failed to execute");
// //
// // info!("out_wat_path: {out_wat_path}");
// let mut which = Command::new("which");
// which.arg("wasm2wat");
// which.status().expect("process failed to execute");

let mut wasm2wat = Command::new("wasm2wat");
wasm2wat.arg("--help");
// wasm2wat.stdout(Stdio::null())
// .arg(out_wasm_path);
wasm2wat.stdout(Stdio::null())
.arg(out_wasm_path);

// wasm2wat verification check
match wasm2wat.status() {
Expand Down

0 comments on commit 130ee4d

Please sign in to comment.