From bd7a13138f4708e498cfd025d853b4f629324a1a Mon Sep 17 00:00:00 2001 From: Vurich Date: Tue, 17 Apr 2018 10:41:15 +0200 Subject: [PATCH] Test denial of floating-point parameters --- src/lib.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/lib.rs b/src/lib.rs index 20a1024..b36532c 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -472,6 +472,19 @@ impl Module { /// /// let module = wasmi::Module::from_buffer(&wasm_binary).expect("Parsing failed"); /// assert!(module.deny_floating_point().is_err()); + /// + /// let wasm_binary: Vec = + /// wabt::wat2wasm( + /// r#" + /// (module + /// (func $add (param $lhs f32) (param $rhs f32) (result f32) + /// get_local $lhs)) + /// "#, + /// ) + /// .expect("failed to parse wat"); + /// + /// let module = wasmi::Module::from_buffer(&wasm_binary).expect("Parsing failed"); + /// assert!(module.deny_floating_point().is_err()); /// ``` pub fn deny_floating_point(&self) -> Result<(), Error> { validation::deny_floating_point(&self.module).map_err(Into::into)