Merge pull request #2311 from crytic/dev-slither-prop

properties, documentation: correct tool descriptions and usage

slither/tools/documentation/__main__.py

@@ -21,7 +21,10 @@ def parse_args() -> argparse.Namespace:
     Parse the underlying arguments for the program.
     :return: Returns the arguments for the program.
     """
-    parser = argparse.ArgumentParser(description="Demo", usage="slither-documentation filename")
+    parser = argparse.ArgumentParser(
+        description="Auto-generate NatSpec documentation for every function using OpenAI Codex.",
+        usage="slither-documentation filename",
+    )
 
     parser.add_argument("project", help="The target directory/Solidity file.")
 

slither/tools/properties/__main__.py

@@ -68,13 +68,13 @@ def parse_args() -> argparse.Namespace:
     :return: Returns the arguments for the program.
     """
     parser = argparse.ArgumentParser(
-        description="Demo",
-        usage="slither-demo filename",
+        description="Generates code properties (e.g., invariants) that can be tested with unit tests or Echidna, entirely automatically.",
+        usage="slither-prop filename",
         formatter_class=argparse.RawDescriptionHelpFormatter,
     )
 
     parser.add_argument(
-        "filename", help="The filename of the contract or truffle directory to analyze."
+        "filename", help="The filename of the contract or project directory to analyze."
     )
 
     parser.add_argument("--contract", help="The targeted contract.")