Skip to content

Add "Heap reference monotone" post condition for procedures that modify the Heap - #1099

Open
thanhnguyen-aws wants to merge 11 commits into
strata-org:main2from
thanhnguyen-aws:heapcountermono
Open

Add "Heap reference monotone" post condition for procedures that modify the Heap#1099
thanhnguyen-aws wants to merge 11 commits into
strata-org:main2from
thanhnguyen-aws:heapcountermono

add source for monocond

9335663
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.