diff --git a/nondeterminism_check/.gitignore b/nondeterminism_check/.gitignore deleted file mode 100644 index a9d37c5..0000000 --- a/nondeterminism_check/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -target -Cargo.lock diff --git a/nondeterminism_check/Cargo.toml b/nondeterminism_check/Cargo.toml deleted file mode 100644 index e5ccfc9..0000000 --- a/nondeterminism_check/Cargo.toml +++ /dev/null @@ -1,9 +0,0 @@ -[package] -name = "nondeterminism_check" -version = "0.1.0" -authors = ["NikVolf "] - -[dependencies] -parity-wasm = "0.14" -wasm-utils = { path = "../" } -clap = "2.24" diff --git a/nondeterminism_check/src/main.rs b/nondeterminism_check/src/main.rs deleted file mode 100644 index fca40af..0000000 --- a/nondeterminism_check/src/main.rs +++ /dev/null @@ -1,26 +0,0 @@ -extern crate parity_wasm; -extern crate wasm_utils; - -use std::env; - - -fn main() { - - wasm_utils::init_log(); - - let args = env::args().collect::>(); - if args.len() != 2 { - println!("Usage: {} input_file.wasm", args[0]); - return; - } - - // Loading module - let module = parity_wasm::deserialize_file(&args[1]).expect("Module deserialization to succeed"); - - if wasm_utils::is_deterministic(&module) { - println!("Module is deterministic"); - } else { - println!("Module is not deterministic"); - } - -}