deepstate icon indicating copy to clipboard operation
deepstate copied to clipboard

Don't hardcode backend in executor help text

Open ranweiler opened this issue 7 years ago • 0 comments

We define the executor -h text in common.py, in the parse_args() class method. It is hardcoded to Angr (which I think is technically mis-stylized, since it is an anti-proper noun). Instead, modify parse_args() to display the correct backend name or description.

ranweiler avatar Feb 06 '18 22:02 ranweiler