From da159a9569a008c68857c4bef962e0c9391d4bf2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 2 Aug 2026 10:31:10 -0700 Subject: [PATCH] a few comments Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_monadic.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ast/rewriter/seq_monadic.cpp b/src/ast/rewriter/seq_monadic.cpp index 17a71ec4cc..b2b75d8881 100644 --- a/src/ast/rewriter/seq_monadic.cpp +++ b/src/ast/rewriter/seq_monadic.cpp @@ -32,6 +32,8 @@ TODOs: - support units of non-values (element variables). Model construction would assign values to the elements. - make unsat core tracking less naive by tracking dependencies at a finer grain. +- add statistics and use it from src/smt/seq_regex.cpp when extracting statistics from theory_seq. +- add selective tracing TRACE(seq, ..).