mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix #6213

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-07-31 18:40:59 +03:00
parent 4a1baa7d2d
commit bf282b05c8
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/test/dl_product_relation.cpp
View file

@ -351,6 +351,7 @@ namespace datalog {
using namespace datalog; using namespace datalog;
#ifdef _WINDOWS
void tst_dl_product_relation() { void tst_dl_product_relation() {
smt_params fparams; smt_params fparams;
params_ref params; params_ref params;
@ -361,3 +362,7 @@ void tst_dl_product_relation() {
test_finite_product_relation(fparams, params); test_finite_product_relation(fparams, params);
} }
#else
void tst_dl_product_relation() {}
#endif