static-analysis-engineering / CodeHawk-C

CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
MIT License
27 stars 6 forks source link

Remove duplicate subparser definition #41

Closed Databean closed 6 months ago

Databean commented 6 months ago

This fixes the error

  File "CodeHawk-C/chc/cmdline/chkc", line 1420, in <module>
    args = parse()
           ^^^^^^^
  File "CodeHawk-C/chc/cmdline/chkc", line 1184, in parse
    cfile_membasetable = cfilefntablesparsers.add_parser("memory-base")
                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/usr/lib/python3.12/argparse.py", line 1219, in add_parser
    raise ArgumentError(self, _('conflicting subparser: %s') % name)
argparse.ArgumentError: argument {numerical,symbol,variable,xconstant,xpr,xpr-list,xpr-list-list,memory-base}: conflicting subparser: memory-base
Databean commented 6 months ago

Thanks for reviewing!