Lines Matching defs:env
142 static struct env { struct
143 char **filenames;
144 int filename_cnt;
145 bool verbose;
146 bool debug;
147 bool quiet;
148 bool force_checkpoints;
149 bool force_reg_invariants;
150 enum resfmt out_fmt;
151 bool show_version;
152 bool comparison_mode;
153 bool replay_mode;
154 int top_n;
156 int log_level;
157 int log_size;
158 bool log_fixed;
182 } env; argument