PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

Fix entanglement test in range_saturate #654

Closed QinshiWang closed 1 year ago

QinshiWang commented 1 year ago

This is UNrelated to the recent issue. https://github.com/PrincetonUniversity/VST/issues/653 This has been in my local copy for a while. I don't know why I didn't push it. The change is simple: parentheses are added to express the correct program structure. If it doesn't break anything, we can merge it.