Write file on each save

crytic · Aug 1, 2023 · 4a241c5 · 4a241c5
1 parent e5f2a86
commit 4a241c5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -114,4 +114,7 @@ test_artifacts/
 crytic-export/
 
 # Auto-generated Github pages docs
-docs/
+docs/
+
+# slither.db.json 
+slither.db.json
diff --git a/slither/core/slither_core.py b/slither/core/slither_core.py
@@ -466,6 +466,7 @@ def write_results_to_hide(self) -> None:
 
     def save_results_to_hide(self, results: List[Dict]) -> None:
         self._results_to_hide += results
+        self.write_results_to_hide()
 
     def add_path_to_filter(self, path: str):
         """