search

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
3 stars 6 forks source link

Fix Lemma asserting n(t1)=n(t2) #15

Closed gleiss closed 5 years ago

gleiss commented 5 years ago

Crashes if loop is nested in other loop, forgot to quantify over enclosingIterator-vars.