finalize tool

This commit is contained in:
NikVolf
2017-12-27 12:12:09 +03:00
parent 06219aa6e2
commit f146187e00
7 changed files with 61 additions and 15 deletions

View File

@ -21,7 +21,7 @@ mod runtime_type;
pub use optimizer::{optimize, Error as OptimizerError};
pub use gas::inject_gas_counter;
pub use logger::init_log;
pub use ext::{externalize, externalize_mem};
pub use ext::{externalize, externalize_mem, underscore_funcs};
pub use pack::pack_instance;
pub use nondeterminism_check::is_deterministic;
pub use runtime_type::inject_runtime_type;