Skip to content

Commit

Permalink
And one with enabled floating point checks, for fun
Browse files Browse the repository at this point in the history
  • Loading branch information
Itzik Grossman committed Sep 30, 2020
1 parent 3076a09 commit b78675c
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -369,9 +369,9 @@ fn start_engine(

info!("Created Wasmi module from parity. Now checking for floating points...");

module
.deny_floating_point()
.map_err(|_err| EnclaveError::WasmModuleWithFP)?;
// module
// .deny_floating_point()
// .map_err(|_err| EnclaveError::WasmModuleWithFP)?;

// Create new imports resolver.
// These are the signatures of rust functions available to invoke from wasm code.
Expand Down
1 change: 1 addition & 0 deletions cosmwasm/packages/wasmi-runtime/src/wasm/gas.rs
Original file line number Diff line number Diff line change
Expand Up @@ -79,6 +79,7 @@ pub fn gas_rules(wasm_costs: &WasmCosts) -> rules::Set {
vals
})
.with_grow_cost(wasm_costs.grow_mem)
.with_forbidden_floats()
}

#[derive(Debug, Clone)]
Expand Down
Binary file modified x/compute/internal/keeper/testdata/contract.wasm
Binary file not shown.
Binary file modified x/compute/internal/keeper/testdata/contract.wasm.gzip
Binary file not shown.

0 comments on commit b78675c

Please sign in to comment.