Skip to content

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function - #4571

Draft
feliperodri wants to merge 3 commits into
model-checking:mainfrom
feliperodri:fix-stub-verified-arbitrary
Draft

Fix stub_verified infinite recursion when Arbitrary calls the stubbed function#4571
feliperodri wants to merge 3 commits into
model-checking:mainfrom
feliperodri:fix-stub-verified-arbitrary

Commits

Commits on Aug 2, 2026

Commits on Aug 3, 2026