Add CHANGELOG entry

informalsystems · Dec 16, 2024 · 62ab7b8 · 62ab7b8
1 parent ee26adb
commit 62ab7b8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -8,6 +8,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ## UNRELEASED
 
 ### Added
+
+- Added a `--witnesses` option to `quint run` that enables counting for how many explored traces each of the given predicates (witnesses) were true (#1562)
+
 ### Changed
 ### Deprecated
 ### Removed