search

numairmansur / Error-Localization

http://numairmansur.github.io/Error-Localization/final/final.pdf
4 stars 0 forks source link

More types of statements (call/reutrn statements) #11

Open numairmansur opened 7 years ago

numairmansur commented 7 years ago

Call/return statements?

TODO check examples (better small ones with procedure calls, probably SV-COMP benchmarks form subcategory/folder recursive)