review: test: Fixed nondeterministic failures in ContractOnSettersParametrizedTest.data()#6499

Open

yonghanlin wants to merge 2 commits into

INRIA:masterfrom

yonghanlin:fix/ContractOnSettersParametrizedTest-nondeterminism

Commits on Oct 27, 2025

fix: ensure ContractOnSettersParametrizedTest only invokes valid IMPORT_REFERENCE and pattern setters
yonghanlin
committed

Commits on Nov 12, 2025

Merge branch 'master' into fix/ContractOnSettersParametrizedTest-nondeterminism
monperrus
authored