Changelog for BenchExec 3.23

sosy-lab · Jun 28, 2024 · dfc6270 · dfc6270
1 parent a78d8e5
commit dfc6270
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -9,6 +9,12 @@ SPDX-License-Identifier: Apache-2.0
 
 # BenchExec Changelog
 
+## BenchExec 3.23
+
+As announced previously, this release works only on Python 3.8 and newer!
+
+- Fix a potential crash for CPAchecker when using `/usr/bin/cpachecker`.
+
 ## BenchExec 3.22
 
 **This will be the last release of BenchExec to support Python 3.7.**