diff --git a/.gitignore b/.gitignore index 4441c03d18..a895c22ee1 100644 --- a/.gitignore +++ b/.gitignore @@ -114,4 +114,7 @@ test_artifacts/ crytic-export/ # Auto-generated Github pages docs -docs/ \ No newline at end of file +docs/ + +# slither.db.json +slither.db.json diff --git a/slither/core/slither_core.py b/slither/core/slither_core.py index 798008707f..3304d52bd5 100644 --- 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): """