Python -> Laurel translation: unmodeled method calls to havoc non-receiver arguments too#1019

Merged

robin-aws merged 30 commits into

mainfrom

fix-python-laurel-hole-mutate-receiver

Apr 30, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Merge branch 'main' into fix-python-laurel-hole-mutate-receiver
thanhnguyen-aws
authored

Commits on Apr 27, 2026

fix: Only havoc Any-typed arguments in unmodeled calls
ssomayyajula
committed

Commits on Apr 28, 2026

Merge github/main into fix-python-laurel-hole-mutate-receiver
ssomayyajula
committed
docs: Document that composite heap havoc is out of scope
ssomayyajula
committed
Merge remote-tracking branch 'github/main' into fix-python-laurel-hole-mutate-receiver
ssomayyajula
committed
Merge branch 'fix-python-laurel-hole-mutate-receiver' of github.com:strata-org/Strata into fix-python-laurel-hole-mutate-receiver
ssomayyajula
committed
fix: Update havoc test to use truthiness checks in bugFinding mode
ssomayyajula
committed
fix: Restore assertion-based havoc test
ssomayyajula
committed
fix: Move havoc from Expr handler to translateCall
ssomayyajula
committed
fix: Correct test assertion messages to match actual behavior
ssomayyajula
committed

Commits on Apr 29, 2026

Commits on Apr 30, 2026