@@ -39,3 +39,7 @@ name = "api_calls"
|
||||
path = "fuzz_targets/api_calls.rs"
|
||||
test = false
|
||||
doc = false
|
||||
|
||||
[[bin]]
|
||||
name = "differential"
|
||||
path = "fuzz_targets/differential.rs"
|
||||
|
||||
13
fuzz/fuzz_targets/differential.rs
Executable file
13
fuzz/fuzz_targets/differential.rs
Executable file
@@ -0,0 +1,13 @@
|
||||
#![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]);
|
||||
});
|
||||
Reference in New Issue
Block a user