On Thu, 5 Mar 2026 20:26:13 GMT, Frederic Parain <[email protected]> wrote:
> This patch adds new tests of fields layouts and the substitutability method > using randomly generated methods. > In its current form, the value class generator is limited to the JEP 401 > model, meaning it doesn't support null-restricted fields nor non-atomic > values. > > The value class generator (ValueClassGenerator.java) is used by > ValueRandomLayoutTest.java which runs the FieldLayoutAnalyzer on all > generated classes to verify invariants of layouts. > The value class generator is also used by ValueComparisonTest.java which > tests the substitutability method. The generated value classes have a set of > pre-computed values than can be used for instance initializations and value > comparisons. > > Testing in progress tier1-4 > > Fred This pull request has now been integrated. Changeset: 56caf4a1 Author: Frederic Parain <[email protected]> URL: https://git.openjdk.org/valhalla/commit/56caf4a1a9452b96fc128ddfbfd76e772b250fe2 Stats: 1072 lines in 13 files changed: 1041 ins; 16 del; 15 mod 8379355: [lworld] Improve test coverage of fields layouts and substitutability test with randomly generated classes Reviewed-by: phubner ------------- PR: https://git.openjdk.org/valhalla/pull/2202
