add release notes

apalache-mc · Sep 18, 2024 · 15ad96d · 15ad96d
1 parent d40a064
commit 15ad96d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.unreleased/features/z3-stats.md b/.unreleased/features/z3-stats.md
@@ -0,0 +1 @@
+Periodically print Z3 statistics when `--debug` is on (#2992)