From c361485c9ed4e0d62db202bee7cd301f93ee3b87 Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Mon, 1 Mar 2021 09:55:38 -0800
Subject: [PATCH] fuzz: Remove peepmatic fuzz targets

There are occasional timeouts in type checking where Z3 hangs. This is a known
issue[0] with the implementation of type checking in Peepmatic, and getting
these timeouts in the fuzzers is just annoying and adds noise to our fuzzing
results. When we fix [0] we can reintroduce these fuzz targets.

[0]: https://github.com/bytecodealliance/wasmtime/issues/2695
---
 fuzz/Cargo.toml                               | 35 -------------------
 fuzz/fuzz_targets/peepmatic_compile.rs        |  8 -----
 .../peepmatic_fst_differential.rs             |  8 -----
 fuzz/fuzz_targets/peepmatic_interp.rs         |  8 -----
 fuzz/fuzz_targets/peepmatic_parser.rs         |  8 -----
 .../fuzz_targets/peepmatic_simple_automata.rs |  7 ----
 6 files changed, 74 deletions(-)
 delete mode 100644 fuzz/fuzz_targets/peepmatic_compile.rs
 delete mode 100644 fuzz/fuzz_targets/peepmatic_fst_differential.rs
 delete mode 100644 fuzz/fuzz_targets/peepmatic_interp.rs
 delete mode 100644 fuzz/fuzz_targets/peepmatic_parser.rs
 delete mode 100644 fuzz/fuzz_targets/peepmatic_simple_automata.rs

diff --git a/fuzz/Cargo.toml b/fuzz/Cargo.toml
index d90052e769..2b40128d25 100644
--- a/fuzz/Cargo.toml
+++ b/fuzz/Cargo.toml
@@ -64,41 +64,6 @@ path = "fuzz_targets/table_ops.rs"
 test = false
 doc = false
 
-[[bin]]
-name = "peepmatic_simple_automata"
-path = "fuzz_targets/peepmatic_simple_automata.rs"
-test = false
-doc = false
-required-features = ["peepmatic-fuzzing"]
-
-[[bin]]
-name = "peepmatic_fst_differential"
-path = "fuzz_targets/peepmatic_fst_differential.rs"
-test = false
-doc = false
-required-features = ["peepmatic-fuzzing"]
-
-[[bin]]
-name = "peepmatic_parser"
-path = "fuzz_targets/peepmatic_parser.rs"
-test = false
-doc = false
-required-features = ["peepmatic-fuzzing"]
-
-[[bin]]
-name = "peepmatic_compile"
-path = "fuzz_targets/peepmatic_compile.rs"
-test = false
-doc = false
-required-features = ["peepmatic-fuzzing"]
-
-[[bin]]
-name = "peepmatic_interp"
-path = "fuzz_targets/peepmatic_interp.rs"
-test = false
-doc = false
-required-features = ["peepmatic-fuzzing"]
-
 [[bin]]
 name = "instantiate-wasm-smith"
 path = "fuzz_targets/instantiate-wasm-smith.rs"
diff --git a/fuzz/fuzz_targets/peepmatic_compile.rs b/fuzz/fuzz_targets/peepmatic_compile.rs
deleted file mode 100644
index 623d747280..0000000000
--- a/fuzz/fuzz_targets/peepmatic_compile.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-#![no_main]
-
-use libfuzzer_sys::fuzz_target;
-use peepmatic_fuzzing::compile::compile;
-
-fuzz_target!(|data: &[u8]| {
-    compile(data);
-});
diff --git a/fuzz/fuzz_targets/peepmatic_fst_differential.rs b/fuzz/fuzz_targets/peepmatic_fst_differential.rs
deleted file mode 100644
index 00549112db..0000000000
--- a/fuzz/fuzz_targets/peepmatic_fst_differential.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-#![no_main]
-use libfuzzer_sys::fuzz_target;
-use peepmatic_fuzzing::automata::fst_differential;
-use std::collections::HashMap;
-
-fuzz_target!(|map: HashMap<Vec<u8>, u64>| {
-    fst_differential(map);
-});
diff --git a/fuzz/fuzz_targets/peepmatic_interp.rs b/fuzz/fuzz_targets/peepmatic_interp.rs
deleted file mode 100644
index dd3c1732ab..0000000000
--- a/fuzz/fuzz_targets/peepmatic_interp.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-#![no_main]
-
-use libfuzzer_sys::fuzz_target;
-use peepmatic_fuzzing::interp::interp;
-
-fuzz_target!(|data: &[u8]| {
-    interp(data);
-});
diff --git a/fuzz/fuzz_targets/peepmatic_parser.rs b/fuzz/fuzz_targets/peepmatic_parser.rs
deleted file mode 100644
index 5664dad41b..0000000000
--- a/fuzz/fuzz_targets/peepmatic_parser.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-#![no_main]
-
-use libfuzzer_sys::fuzz_target;
-use peepmatic_fuzzing::parser::parse;
-
-fuzz_target!(|data: &[u8]| {
-    parse(data);
-});
diff --git a/fuzz/fuzz_targets/peepmatic_simple_automata.rs b/fuzz/fuzz_targets/peepmatic_simple_automata.rs
deleted file mode 100644
index ecf2fd7850..0000000000
--- a/fuzz/fuzz_targets/peepmatic_simple_automata.rs
+++ /dev/null
@@ -1,7 +0,0 @@
-#![no_main]
-use libfuzzer_sys::fuzz_target;
-use peepmatic_fuzzing::automata::simple_automata;
-
-fuzz_target!(|input_output_pairs: Vec<Vec<(u8, Vec<u8>)>>| {
-    simple_automata(input_output_pairs);
-});