chore: add config file

celestiaorg · Oct 12, 2023 · 102fc36 · 102fc36
1 parent ab5d261
commit 102fc36
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/slither.config.json b/slither.config.json
@@ -0,0 +1,3 @@
+{
+  "filter_paths": "(lib/)"
+}