Java: Add change note.

This commit is contained in:
Anders Schack-Mulligen
2025-06-12 11:03:49 +02:00
parent f27e310ba3
commit d0d47808e9

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Java `assert` statements are now assumed to be executed for the purpose of analysing control flow. This improves precision for a number of queries.