You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
311 B
13 lines
311 B
#![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]);
|
|
});
|
|
|