rename non_determinism_checker -> indeterminism_check

tests added
This commit is contained in:
fro
2017-09-20 19:16:00 +03:00
parent 768d4633a1
commit 6aa896e9fe
7 changed files with 162 additions and 108 deletions
+2
View File
@@ -0,0 +1,2 @@
target
Cargo.lock
+9
View File
@@ -0,0 +1,9 @@
[package]
name = "indeterminism_check"
version = "0.1.0"
authors = ["NikVolf <nikvolf@gmail.com>"]
[dependencies]
parity-wasm = "0.14"
wasm-utils = { path = "../" }
clap = "2.24"
+26
View File
@@ -0,0 +1,26 @@
extern crate parity_wasm;
extern crate wasm_utils;
use std::env;
fn main() {
wasm_utils::init_log();
let args = env::args().collect::<Vec<_>>();
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::have_indeterminism(module) {
println!("Non-determinism found");
} else {
println!("Non-determinism not found");
}
}