mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 21:01:22 +00:00
Code Activity

fix test build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-01-13 11:33:23 -08:00
parent 46bfcbd4f8
commit eaa80d5b02
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/theory_pb.cpp
View file

@ -36,7 +36,6 @@ class pb_fuzzer {
public: public:
pb_fuzzer(ast_manager& m): m(m), rand(0), ctx(m, params), vars(m) { pb_fuzzer(ast_manager& m): m(m), rand(0), ctx(m, params), vars(m) {
params.m_model = true; params.m_model = true;
params.m_pb_enable_simplex = true;
unsigned N = 3; unsigned N = 3;
for (unsigned i = 0; i < N; ++i) { for (unsigned i = 0; i < N; ++i) {
std::stringstream strm; std::stringstream strm;
@ -48,7 +47,6 @@ public:
void fuzz() { void fuzz() {
enable_trace("pb"); enable_trace("pb");
enable_trace("simplex");
unsigned nr = 0; unsigned nr = 0;
for (unsigned i = 0; i < 100000; ++i) { for (unsigned i = 0; i < 100000; ++i) {
fuzz_round(nr, 2); fuzz_round(nr, 2);