diff --git a/.gitignore b/.gitignore index e8a5296c..58ec6bb0 100644 --- a/.gitignore +++ b/.gitignore @@ -14,3 +14,4 @@ _opam *.exe fuzz-*-input fuzz-*-output +fuzz-logs/