Skip to content

Commit 6972386

Browse files
committed
Remove duplicate subparser definition
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 ```
1 parent b2d2cc9 commit 6972386

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

chc/cmdline/chkc

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1180,16 +1180,6 @@ def parse() -> argparse.Namespace:
11801180
"--tgtpath", help="directory that holds the analysis results")
11811181
cfile_membasetable.set_defaults(func=CT.cfile_membase_table)
11821182

1183-
# --- function table: membase
1184-
cfile_membasetable = cfilefntablesparsers.add_parser("memory-base")
1185-
cfile_membasetable.add_argument(
1186-
"filename", help="name of file analyzed ((<cpath/>)<cfilename>)")
1187-
cfile_membasetable.add_argument(
1188-
"function", help="name of function of interest")
1189-
cfile_membasetable.add_argument(
1190-
"--tgtpath", help="directory that holds the analysis results")
1191-
cfile_membasetable.set_defaults(func=CT.cfile_membase_table)
1192-
11931183
# --- function table: memref
11941184
cfile_memreftable = cfilefntablesparsers.add_parser("memory-reference")
11951185
cfile_memreftable.add_argument(

0 commit comments

Comments
 (0)