mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-15 16:54:11 +00:00
Code Activity

display node state

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-04-12 15:45:03 -07:00
parent 1be70988b9
commit 4dfb6f7a7d
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/seq/seq_nielsen.cpp
View file

@ -3819,6 +3819,8 @@ namespace seq {
return;
uint_set seen_vars;
TRACE(seq, display(tout, m_root));
seq_util& seq = m_sg.get_seq_util();
for (str_eq const& eq : m_root->str_eqs()) {
if (eq.is_trivial())