mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-11 03:33:35 +00:00
Code Activity

fix test build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-14 12:04:31 -08:00
parent d24a642ae0
commit 727929c9af
2 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/test/cnf_backbones.cpp
View file

@ -238,10 +238,10 @@ static void cnf_backbones(bool use_chunk, char const* file_name) {
std::cerr << "(error \"failed to open file '" << file_name << "'\")" << std::endl;
exit(ERR_OPEN_FILE);
}
parse_dimacs(in, solver);
if (!parse_dimacs(in, std::cerr, solver)) return;
}
else {
parse_dimacs(std::cin, solver);
if (!parse_dimacs(std::cin, std::cerr, solver)) return;
}
IF_VERBOSE(20, solver.display_status(verbose_stream()););

3
src/test/sat_lookahead.cpp
View file

@ -34,7 +34,8 @@ void tst_sat_lookahead(char ** argv, int argc, int& i) {
std::cerr << "(error \"failed to open file '" << file_name << "'\")" << std::endl;
exit(ERR_OPEN_FILE);
}
parse_dimacs(in, solver);
if (!parse_dimacs(in, std::cerr, solver))
return;
}
sat::lookahead lh(solver);