remove fuzz (#1627)

calyxir · Jul 25, 2023 · 720b974 · 720b974
1 parent 1d4efa5
commit 720b974
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 387 deletions.
diff --git a/fuzz/README.md b/fuzz/README.md
diff --git a/fuzz/do_fuzz.py b/fuzz/do_fuzz.py
diff --git a/fuzz/examples/README.md b/fuzz/examples/README.md
diff --git a/fuzz/examples/add_data_template.json b/fuzz/examples/add_data_template.json
diff --git a/fuzz/examples/std_add.futil b/fuzz/examples/std_add.futil
diff --git a/fuzz/examples/std_sub.futil b/fuzz/examples/std_sub.futil