Lines Matching defs:env

168 static struct env {  struct
169 	char **filenames;
170 	int filename_cnt;
171 	bool verbose;
172 	bool debug;
173 	bool quiet;
174 	bool force_checkpoints;
175 	bool force_reg_invariants;
176 	enum resfmt out_fmt;
177 	bool show_version;
178 	bool comparison_mode;
179 	bool replay_mode;
180 	int top_n;
182 	int log_level;
183 	int log_size;
184 	bool log_fixed;
186 	struct verif_stats *prog_stats;
187 	int prog_stat_cnt;
211 } env;  argument