Change --printers to --print and --detectors to --detect (close #71)

pull/74/head
Josselin 6 years ago
parent 916cbf7acf
commit 5c238c9c93
  1. 2
      README.md
  2. 4
      scripts/travis_test.sh
  3. 4
      slither/__main__.py

@ -67,7 +67,7 @@ Num | Detector | What it Detects | Impact | Confidence
### Printers
To run a printer, use `--printers` and a comma-separated list of printers.
To run a printer, use `--print` and a comma-separated list of printers.
Num | Printer | Description
--- | --- | ---

@ -4,12 +4,12 @@
# test_slither file.sol detectors number_results
test_slither(){
slither "$1" --disable-solc-warnings --detectors "$2"
slither "$1" --disable-solc-warnings --detect "$2"
if [ $? -ne "$3" ]; then
exit 1
fi
slither "$1" --disable-solc-warnings --detectors "$2" --compact-ast
slither "$1" --disable-solc-warnings --detect "$2" --compact-ast
if [ $? -ne "$3" ]; then
exit 1
fi

@ -257,7 +257,7 @@ def parse_args(detector_classes, printer_classes):
group_solc = parser.add_argument_group('Solc options')
group_misc = parser.add_argument_group('Additional option')
group_detector.add_argument('--detectors',
group_detector.add_argument('--detect',
help='Comma-separated list of detectors, defaults to all, '
'available detectors: {}'.format(
', '.join(d.ARGUMENT for d in detector_classes)),
@ -265,7 +265,7 @@ def parse_args(detector_classes, printer_classes):
dest='detectors_to_run',
default='all')
group_printer.add_argument('--printers',
group_printer.add_argument('--print',
help='Comma-separated list fo contract information printers, '
'available printers: {}'.format(
', '.join(d.ARGUMENT for d in printer_classes)),

Loading…
Cancel
Save