use default file if found

crytic · Feb 11, 2022 · 8d7ca33 · 8d7ca33
1 parent 570a622
commit 8d7ca33
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/slither/utils/command_line.py b/slither/utils/command_line.py
@@ -57,6 +57,9 @@ def read_config_file(args):
         # Check wether the default config file is present
         if not os.path.exists("slither.config.json"):
             return
+        # The default file exists, use it
+        else:
+            args.config_file = "slither.config.json"
 
     if os.path.isfile(args.config_file):
         try: