3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00

initialize variables to avoid warning messages whether real or spurious

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-10-01 17:08:02 -04:00
parent cffe5fe1a5
commit ad49dd739b

View file

@ -1899,7 +1899,7 @@ void find_dir_and_file_name(std::string a, std::string & dir, std::string& fn) {
void process_test_file(std::string test_dir, std::string test_file_name, argument_parser & args_parser, std::string out_dir, unsigned max_iters, unsigned time_limit, unsigned & successes, unsigned & failures, unsigned & inconclusives);
void solve_some_mps(argument_parser & args_parser) {
unsigned max_iters, time_limit;
unsigned max_iters = UINT_MAX, time_limit = UINT_MAX;
get_time_limit_and_max_iters_from_parser(args_parser, time_limit);
unsigned successes = 0;
unsigned failures = 0;