2019-08-01 20:46:35 -06:00
|
|
|
#![deny(
|
|
|
|
|
dead_code,
|
2019-08-15 20:18:29 -06:00
|
|
|
nonstandard_style,
|
2019-08-01 20:46:35 -06:00
|
|
|
unused_imports,
|
2019-08-15 20:18:29 -06:00
|
|
|
unused_mut,
|
2019-08-01 20:46:35 -06:00
|
|
|
unused_variables,
|
|
|
|
|
unused_unsafe,
|
|
|
|
|
unreachable_patterns
|
|
|
|
|
)]
|
2019-09-03 17:06:31 -07:00
|
|
|
#![doc(html_favicon_url = "https://wasmer.io/static/icons/favicon.ico")]
|
|
|
|
|
#![doc(html_logo_url = "https://avatars3.githubusercontent.com/u/44205449?s=200&v=4")]
|
|
|
|
|
|
2019-04-27 16:31:47 +08:00
|
|
|
pub mod call_trace;
|
2019-05-17 01:10:45 +08:00
|
|
|
pub mod metering;
|
