Merge pull request #15280 from owen-mc/java/add-manual-models-for-df-generation

Java: improve models for some important JDK methods
This commit is contained in:
Owen Mansel-Chan
2024-01-11 12:47:37 +00:00
committed by GitHub
3 changed files with 23 additions and 3 deletions

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Improved models for `java.lang.Throwable` and `java.lang.Exception`, and the `valueOf` method of `java.lang.String`.