DavePearce / DevmProofGen

Dafny Evm Proof Generator (experimental)
1 stars 1 forks source link

Infinite Loop in Dependency Analysis #104

Open DavePearce opened 4 weeks ago

DavePearce commented 4 weeks ago

There is an infinite loop in the dependency analysis lead to monotonic stack growth. Specifically in determine_necessary_stateinfo in block.rs