fluencelabs/wasm-utils
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasm-utils synced 2025-07-30 21:42:07 +00:00
Code Issues Projects Releases Wiki Activity

take module as ref in is_deterministic

Browse Source
This commit is contained in:
fro
2017-09-22 19:20:58 +03:00
parent 93647ec3df
commit 6e5c2282bf
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
nondeterminism_check/src/main.rs
View File

@@ -17,7 +17,7 @@ fn main() {
// Loading module
let module = parity_wasm::deserialize_file(&args[1]).expect("Module deserialization to succeed");
if wasm_utils::is_deterministic(module) {
if wasm_utils::is_deterministic(&module) {
println!("Module is deterministic");
} else {
println!("Module is not deterministic");

6
src/nondeterminism_check.rs
View File

@@ -77,7 +77,7 @@ fn have_nondeterministic_opcodes (opcodes: &[Opcode]) -> bool {
pub fn is_deterministic(module: elements::Module) -> bool {
pub fn is_deterministic(module: &elements::Module) -> bool {
for section in module.sections() {
match *section {
Section::Code(ref cs) => {
@@ -114,7 +114,7 @@ mod tests {
.build()
.build()
.build();
assert_eq!(false, is_deterministic(module));
assert_eq!(false, is_deterministic(&module));
}
#[test]
@@ -133,6 +133,6 @@ mod tests {
.build()
.build()
.build();
assert_eq!(true, is_deterministic(module));
assert_eq!(true, is_deterministic(&module));
}
}