File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -855,7 +855,6 @@ def parse() -> argparse.Namespace:
855855 help = "directory that holds the analysis results" )
856856 cfilequeryinvs .set_defaults (func = C .cfile_query_invariants )
857857
858-
859858 # --- test libc summary
860859 cfiletestlibc = cfileparsers .add_parser ("test-libc-summary" )
861860 cfiletestlibc .add_argument (
@@ -1438,9 +1437,11 @@ def parse() -> argparse.Namespace:
14381437 choices = ["a" , "w" ],
14391438 default = "a" ,
14401439 help = "file mode for log file: append (a, default), or write (w)" )
1441- cprojectanalyze .add_argument ("-x" , "--exclude" , action = 'append' ,
1440+ cprojectanalyze .add_argument (
1441+ "-x" , "--exclude" ,
1442+ action = 'append' ,
14421443 help = "Exclude file from analysis. To exclude multiple files, use "
1443- "this option for each file, e.g. -x dir1/f1.c, -x dir2/f2.c" )
1444+ "this option for each file, e.g. -x dir1/f1.c, -x dir2/f2.c" )
14441445 cprojectanalyze .set_defaults (func = P .cproject_analyze_project )
14451446
14461447 # --- report
@@ -1493,7 +1494,6 @@ def parse() -> argparse.Namespace:
14931494 help = "line number in the source code to show invariants" )
14941495 cprojectqueryinvs .set_defaults (func = P .cproject_query_invariants )
14951496
1496-
14971497 # --- count-statements
14981498 cprojectcountstmts = cprojectparsers .add_parser ("count-statements" )
14991499 cprojectcountstmts .add_argument (
You can’t perform that action at this time.
0 commit comments