wasmi/test.sh

#!/usr/bin/env bash

set -eux

cd $(dirname $0)

time cargo test --all

cd -
Add handy scripts (#30) * Extract test.sh and doc.sh from .travis.yml * check.sh 2018-01-31 19:13:50 +00:00			`#!/usr/bin/env bash`

			`set -eux`

			`cd $(dirname $0)`

Extract validation into a separate crate (#176) * Add some docs. * return_type isn't failable * Add comment about safety of top_label * Attempt number 10 * Rework. Now we will a compiler which wraps and uses info from a evaluation simulator. * Get rid of outcome * Introduce StartedWith * Actually use started_with. * Mirror label_stack. * Avoid using frame_type. * Finally get rid from frame_type. * Extract compilation * Refactoring cleaning * Validation separated from compilation. * Move sink to FunctionReader * Rename to compiler. * fmt * Move push_label under validation context. * Add Validation traits * Express the compiler using validation trait * Move code under prepare * Comments. * WIP * The great move of validation * Make validation compile * Make it compile. * Format it. * Fix warnings. * Clean. * Make it work under no_std * Move deny_floating_point to wasmi * Rename validate_module2 → validate_module * Make validation tests work * Make wasmi compilation tests work * Renamings. * Get rid of memory_units dependency in validation * Rename. * Clean. * Estimate capacity. * fmt. * Clean and detail End opcode. * Add comment about top_label safety * Remove another TODO * Comment access to require_target * Remove redundant PartialEq * Print value that can't be coerced to u32 * s/with_instruction_capacity/with_capacity * fmt. * fmt * Proofs * Add better proof * Get rid of unreachable in StackValueType * Propagate error if frame stack overflown on create * use checked sub instead of - * Keep::count 2019-04-19 14:05:09 +00:00			`time cargo test --all`
Add handy scripts (#30) * Extract test.sh and doc.sh from .travis.yml * check.sh 2018-01-31 19:13:50 +00:00
			`cd -`