File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7979 from chc .proof .CFunctionPO import CFunctionPO
8080
8181
82-
8382def print_error (m : str ) -> None :
8483 sys .stderr .write (("*" * 80 ) + "\n " )
8584 sys .stderr .write (m + "\n " )
Original file line number Diff line number Diff line change @@ -1472,9 +1472,12 @@ def parse() -> argparse.Namespace:
14721472 choices = ["a" , "w" ],
14731473 default = "a" ,
14741474 help = "file mode for log file: append (a, default), or write (w)" )
1475- cprojectanalyze .add_argument ("-x" , "--exclude" , action = 'append' ,
1476- help = "Exclude file from analysis. To exclude multiple files, use "
1477- "this option for each file, e.g. -x dir1/f1.c, -x dir2/f2.c" )
1475+ cprojectanalyze .add_argument (
1476+ "-x" , "--exclude" ,
1477+ action = "append" ,
1478+ help = (
1479+ "Exclude file from analysis. To exclude multiple files, use "
1480+ "this option for each file, e.g. -x dir1/f1.c, -x dir2/f2.c" ))
14781481 cprojectanalyze .set_defaults (func = P .cproject_analyze_project )
14791482
14801483 # --- report
You can’t perform that action at this time.
0 commit comments