diff --git a/.unreleased/bug-fixes/2962-fix-trunc-smt-log b/.unreleased/bug-fixes/2962-fix-trunc-smt-log
new file mode 100644
index 0000000000..7f0cf369a9
--- /dev/null
+++ b/.unreleased/bug-fixes/2962-fix-trunc-smt-log
@@ -0,0 +1 @@
+Fix truncation of SMT logs, see #2962