Add tests for multiple assignments and unpacking#402

Merged

dfremont merged 3 commits intoBerkeleyLearnVerify:mainfrom

lola831:tests/assignments-unpacking

Apr 2, 2026

Commits on Oct 21, 2025

add tests for multiple assignments and unpacking
lola831
committed

Commits on Nov 17, 2025

simplify tests, just use top level code
lola831
committed

Commits on Mar 31, 2026

Reuse compiled scenario and increase sampling for unpack distribution test
lola831
committed