adding bugfix for recursion detection

jyoo980 / silver

Definition of the Viper intermediate verification language.

Mozilla Public License 2.0

0 stars 0 forks source link

Closed jyoo980 closed 3 years ago

jyoo980 commented 3 years ago

Should fix the regression we have on master

~Tested locally on Silicon test suite + manually inspecting a test case since apparently we can't trust it anymore~

I'm a fool