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

fix test build

Browse source
This commit is contained in:
Nuno Lopes 2023-12-22 16:19:28 +00:00
parent cab3c45863
commit 606a9a7409
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/test/fuzzing/expr_rand.cpp
View file

@ -241,8 +241,7 @@ void expr_rand::initialize_bv(unsigned num_vars) {
void expr_rand::initialize_array(unsigned num_vars, sort* dom, sort* rng) { void expr_rand::initialize_array(unsigned num_vars, sort* dom, sort* rng) {
family_id afid = m_manager.mk_family_id("array"); family_id afid = m_manager.mk_family_id("array");
parameter p1(dom), p2(rng); parameter ps[2] = { parameter(dom), parameter(rng) };
parameter ps[2] = { p1, p2 };
sort* a = m_manager.mk_sort(afid, ARRAY_SORT, 2, ps); sort* a = m_manager.mk_sort(afid, ARRAY_SORT, 2, ps);
sort* ss[3] = { a, dom, rng }; sort* ss[3] = { a, dom, rng };