diff --git a/fuzz/Cargo.toml b/fuzz/Cargo.toml index a55a55ae2f..90d851e6e5 100644 --- a/fuzz/Cargo.toml +++ b/fuzz/Cargo.toml @@ -96,12 +96,6 @@ doc = false # test = false # doc = false -# [[bin]] -# name = "cranelift-fuzzgen-verify" -# path = "fuzz_targets/cranelift-fuzzgen-verify.rs" -# test = false -# doc = false - [[bin]] name = "instantiate-many" path = "fuzz_targets/instantiate-many.rs" diff --git a/fuzz/README.md b/fuzz/README.md index b2e51170c3..47a5f6f9a2 100644 --- a/fuzz/README.md +++ b/fuzz/README.md @@ -30,8 +30,6 @@ At the time of writing, we have the following fuzz targets: * `cranelift-fuzzgen`: Generate a Cranelift function and check that it returns the same results when compiled to the host and when using the Cranelift interpreter; only a subset of Cranelift IR is currently supported. -* `cranelift-fuzzgen-verify`: Stress the Cranelift IR verifier by generating a - Cranelift function and checking that it is indeed a valid function. * `differential`: Generate a Wasm module and check that Wasmtime returns the same results when run with two different configurations. * `differential_spec`: Generate a Wasm module and check that Wasmtime returns diff --git a/fuzz/fuzz_targets/cranelift-fuzzgen-verify.rs b/fuzz/fuzz_targets/cranelift-fuzzgen-verify.rs deleted file mode 100644 index 55056bf18c..0000000000 --- a/fuzz/fuzz_targets/cranelift-fuzzgen-verify.rs +++ /dev/null @@ -1,11 +0,0 @@ -#![no_main] - -use libfuzzer_sys::fuzz_target; - -use cranelift_codegen::{settings, verify_function}; -use cranelift_fuzzgen::TestCase; - -fuzz_target!(|testcase: TestCase| { - let flags = settings::Flags::new(settings::builder()); - verify_function(&testcase.func, &flags).unwrap(); -});