xeos
/
wasmi
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Clean.

This commit is contained in:
Sergey Pepyakin 2019-04-15 17:35:29 +02:00
parent cf0f8b4ad6
commit 379e960c94
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
validation/src/lib.rs
View File

@ -18,6 +18,9 @@ pub const DEFAULT_MEMORY_INDEX: u32 = 0;
/// Index of default table.
pub const DEFAULT_TABLE_INDEX: u32 = 0;
/// Maximal number of pages that a wasm instance supports.
pub const LINEAR_MEMORY_MAX_PAGES: Pages = Pages(65536);
#[allow(unused_imports)]
use alloc::prelude::*;
use core::fmt;
@ -441,9 +444,6 @@ fn validate_memory_type(memory_type: &MemoryType) -> Result<(), Error> {
validate_memory(initial, maximum).map_err(Error)
}
/// Maximal number of pages that a wasm instance supports.
pub const LINEAR_MEMORY_MAX_PAGES: Pages = Pages(65536);
pub fn validate_memory(initial: Pages, maximum: Option<Pages>) -> Result<(), String> {
if initial > LINEAR_MEMORY_MAX_PAGES {
return Err(format!(