mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-02 05:59:29 +00:00
Code Activity

fix compile of lp.cpp

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-09-20 00:33:23 -07:00
parent a8ae52bfbf
commit 0e8648c7d7
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/test/lp/lp.cpp
View file

@ -181,12 +181,15 @@ void test_nex_order() {
void test_simplify() { void test_simplify() {
#ifdef Z3DEBUG #ifdef Z3DEBUG
nex_creator r; nex_creator r;
reslimit limit;
cross_nested cn( cross_nested cn(
[](const nex *n) { [](const nex *n) {
TRACE(nla_cn_test, tout << *n << "\n";); TRACE(nla_cn_test, tout << *n << "\n";);
return false; return false;
}, },
[](unsigned) { return false; }, []() { return 1; }, // for random [](unsigned ) { return false; },
limit,
1,
r); r);
enable_trace("nla_cn"); enable_trace("nla_cn");
enable_trace("nla_cn_details"); enable_trace("nla_cn_details");