From ad49dd739be8ac8c6737bc9dad0cc4b41e3cdb46 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 1 Oct 2022 17:08:02 -0400 Subject: [PATCH] initialize variables to avoid warning messages whether real or spurious Signed-off-by: Nikolaj Bjorner --- src/test/lp/lp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp index 04afd8f96..547985f26 100644 --- a/src/test/lp/lp.cpp +++ b/src/test/lp/lp.cpp @@ -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;