Files
wasmtime/fuzz/fuzz_targets/differential.rs
Nick Fitzgerald 1bf8de35f3 Add initial differential fuzzing
Part of #611
2020-01-17 16:17:04 -08:00

14 lines
311 B
Rust
Executable File

#![no_main]
use libfuzzer_sys::fuzz_target;
use wasmtime_fuzzing::{generators, oracles};
fuzz_target!(|data: (
generators::DifferentialConfig,
generators::DifferentialConfig,
generators::WasmOptTtf
)| {
let (lhs, rhs, wasm) = data;
oracles::differential_execution(&wasm, &[lhs, rhs]);
});