[package]
name = "wai-module-check"
version = "0.1.0"
edition = "2021"
license = "Apache-2.0"
publish = false
description = "The checker of WAI's WAISM profile (extensions/waism.md): a module's verdict at the integer or the float level, from rules R1 to R12, on the WebAssembly validator of a pinned wasmparser."

[dependencies]
# Pinned exactly: R2's verdict is this validator's, and the profile's validation limits
# (waism §4.2) are the ones it enforces. A new version is a reviewed change.
wasmparser = { version = "=0.262.0", default-features = false, features = ["std", "validate", "features", "simd"] }

[dev-dependencies]
# The differential (examples/differential.rs) generates its modules with wasm-smith, of the
# same release as the parser.
wasm-smith = { version = "=0.262.0", default-features = false, features = ["wasmparser"] }
arbitrary = "1"
# The specification's test scripts (examples/spectest.rs) are read by the text parser of
# the same release.
wast = { version = "=262.0.0", default-features = false, features = ["wasm-module"] }

[[example]]
name = "differential"
path = "examples/differential.rs"

[[example]]
name = "spectest"
path = "examples/spectest.rs"