Write file on each save

1 year ago · 4a241c5868
parent e5f2a86f09
commit 4a241c5868
2 changed files with 5 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -115,3 +115,6 @@ crytic-export/
 # Auto-generated Github pages docs
 docs/
 # slither.db.json 
 slither.db.json
--- a/slither/core/slither_core.py
+++ b/slither/core/slither_core.py
@ -466,6 +466,7 @@ class SlitherCore(Context):
    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):
        """