search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
63 stars 11 forks source link

No loops pass generates incorrecot core #320

Closed yav closed 1 year ago

yav commented 1 year ago

It would appear that we've forgotten to add "get value" on a iterator somewhere