Add support for anonymous nested statics#3953

Merged

carolynzech merged 5 commits intomodel-checking:mainfrom

carolynzech:issue-3904

Mar 22, 2025

Commits on Mar 21, 2025

codegen support for pointer to anon static
Carolyn Zech
committed
Add test for pointer to constant memory allocation
Carolyn Zech
committed
create wrapper around codegen_const_allocation for clarity
Carolyn Zech
committed
improve test: check that both aliases see mutations
Carolyn Zech
committed
refactor is_anon_static into function in reachability.rs
Carolyn Zech
committed