mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-02 13:26:10 +00:00
Code Activity

updated term enumerator

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-06-19 16:18:07 -07:00
parent 5dfe836d38
commit f0af251bb2
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/test/term_enumeration.cpp
View file

@ -257,6 +257,7 @@ static void tst_nested_array_enumeration() {
ENSURE(count >= 1); // At least the constant array ENSURE(count >= 1); // At least the constant array
std::cout << "Enumerated " << count << " terms of sort Array(A, Array(B, A))\n"; std::cout << "Enumerated " << count << " terms of sort Array(A, Array(B, A))\n";
te.display(std::cout); te.display(std::cout);
} }