mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

initialize

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-02-22 15:11:18 -08:00
parent 43ddad0ecd
commit 54f145b364
3 changed files with 12 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/test/sat_local_search.cpp
View file

@ -65,7 +65,7 @@ static bool build_instance(char const * filename, sat::solver& s, sat::local_sea
}
void tst_sat_local_search(char ** argv, int argc, int& i) {
if (argc != i + 2) {
if (argc < i + 2) {
std::cout << "require dimacs file name\n";
return;
}
@ -75,6 +75,11 @@ void tst_sat_local_search(char ** argv, int argc, int& i) {
sat::local_search local_search(solver);
char const* file_name = argv[i + 1];
++i;
while (i + 1 < argc) {
// set other ad hoc parameters.
std::cout << argv[i + 1] << "\n";
++i;
}
if (!build_instance(file_name, solver, local_search)) {
return;