Changelog for BenchExec 3.32

PhilippWendler · PhilippWendler · commit f61933f74a1d · 2025-12-09T15:17:31.000+01:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -9,6 +9,10 @@ SPDX-License-Identifier: Apache-2.0
 
 # BenchExec Changelog
 
+## BenchExec 3.32 - 2025-12-09
+
+- Updated tool-info modules for SV-COMP'26 and Test-Comp'26.
+
 ## BenchExec 3.31 - 2025-11-24
 
 BenchExec now requires Python 3.10 or newer.
