Skip to content

Commit

Permalink
fix test build
Browse files Browse the repository at this point in the history
  • Loading branch information
nunoplopes committed Dec 22, 2023
1 parent cab3c45 commit 606a9a7
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/test/fuzzing/expr_rand.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -241,8 +241,7 @@ void expr_rand::initialize_bv(unsigned num_vars) {

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

Expand Down

0 comments on commit 606a9a7

Please sign in to comment.
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy