From 8602c52bc93045133880ee547cba344223949665 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Mar 2018 10:41:42 -0700 Subject: [PATCH] fix test build Signed-off-by: Nikolaj Bjorner --- scripts/vsts.cmd | 3 +++ src/test/sat_local_search.cpp | 6 +----- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd index 8ef516423..6f15e1bc3 100644 --- a/scripts/vsts.cmd +++ b/scripts/vsts.cmd @@ -4,3 +4,6 @@ set call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" cmake -G "NMake Makefiles" ../ nmake +nmake test-z3 +git pull https://github.com/z3prover/z3test z3test +cd z3test diff --git a/src/test/sat_local_search.cpp b/src/test/sat_local_search.cpp index fc1445e34..c9e3a18ec 100644 --- a/src/test/sat_local_search.cpp +++ b/src/test/sat_local_search.cpp @@ -92,16 +92,12 @@ void tst_sat_local_search(char ** argv, int argc, int& i) { switch (argv[i + 1][1]) { case 's': // seed v = atoi(argv[i + 2]); - local_search.config().set_seed(v); + local_search.config().set_random_seed(v); break; case 't': // cutoff_time v = atoi(argv[i + 2]); cutoff_time = v; break; - case 'i': // strategy_id - v = atoi(argv[i + 2]); - local_search.config().set_strategy_id(v); - break; case 'b': // best_known_value v = atoi(argv[i + 2]); local_search.config().set_best_known_value(v);