mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-16 05:41:43 +00:00
Code Activity

unsound state

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2025-12-16 09:14:52 -10:00
parent c199751db8
commit a7e75d1dd9
6 changed files with 204 additions and 132 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/trace_tags.def
View file

@ -552,6 +552,7 @@ X(Global, list, "list")
X(Global, literal_occ, "literal occ")
X(Global, lp_core, "lp core")
X(Global, lws, "levelwise")
X(Global, lws_norm, "levelwise normalize")
X(Global, macro_bug, "macro bug")
X(Global, macro_finder, "macro finder")
X(Global, macro_insert, "macro insert")