main.py (8333:c1a07ecb6619) main.py (8664:42052d5bb793)
1# Copyright (c) 2005 The Regents of The University of Michigan
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright

--- 73 unchanged lines hidden (view full) ---

82 group("Statistics Options")
83 option("--stats-file", metavar="FILE", default="stats.txt",
84 help="Sets the output file for statistics [Default: %default]")
85
86 # Configuration Options
87 group("Configuration Options")
88 option("--dump-config", metavar="FILE", default="config.ini",
89 help="Dump configuration output file [Default: %default]")
1# Copyright (c) 2005 The Regents of The University of Michigan
2# All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions are
6# met: redistributions of source code must retain the above copyright
7# notice, this list of conditions and the following disclaimer;
8# redistributions in binary form must reproduce the above copyright

--- 73 unchanged lines hidden (view full) ---

82 group("Statistics Options")
83 option("--stats-file", metavar="FILE", default="stats.txt",
84 help="Sets the output file for statistics [Default: %default]")
85
86 # Configuration Options
87 group("Configuration Options")
88 option("--dump-config", metavar="FILE", default="config.ini",
89 help="Dump configuration output file [Default: %default]")
90 option("--json-config", metavar="FILE", default="config.json",
91 help="Create JSON output of the configuration [Default: %default]")
90
91 # Debugging options
92 group("Debugging Options")
93 option("--debug-break", metavar="TIME[,TIME]", action='append', split=',',
94 help="Cycle to create a breakpoint")
95 option("--debug-help", action='store_true',
96 help="Print help on trace flags")
97 option("--debug-flags", metavar="FLAG[,FLAG]", action='append', split=',',

--- 275 unchanged lines hidden --- 		92
93 # Debugging options
94 group("Debugging Options")
95 option("--debug-break", metavar="TIME[,TIME]", action='append', split=',',
96 help="Cycle to create a breakpoint")
97 option("--debug-help", action='store_true',
98 help="Print help on trace flags")
99 option("--debug-flags", metavar="FLAG[,FLAG]", action='append', split=',',

--- 275 unchanged lines hidden ---