This commit is contained in:
Alex Crichton
2020-03-17 09:36:40 -07:00
parent b0cf8c021f
commit 23bc79f66d

View File

@@ -109,10 +109,7 @@ pub fn compile(wasm: &[u8], strategy: Strategy) {
/// exports. Modulo OOM, non-canonical NaNs, and usage of Wasm features that are /// exports. Modulo OOM, non-canonical NaNs, and usage of Wasm features that are
/// or aren't enabled for different configs, we should get the same results when /// or aren't enabled for different configs, we should get the same results when
/// we call the exported functions for all of our different configs. /// we call the exported functions for all of our different configs.
pub fn differential_execution( pub fn differential_execution(wasm: &[u8], configs: &[crate::generators::DifferentialConfig]) {
wasm: &[u8],
configs: &[crate::generators::DifferentialConfig],
) {
crate::init_fuzzing(); crate::init_fuzzing();
// We need at least two configs. // We need at least two configs.