Turn the sets(execution, blocking execution) into functions in the definitions and theorems.

numairmansur / Error-Localization

http://numairmansur.github.io/Error-Localization/final/final.pdf

4 stars 0 forks source link

Open numairmansur opened 7 years ago

numairmansur commented 7 years ago

See the issue number 10 under discussion.

numairmansur commented 7 years ago

not relevant anymore. Definitions totally changed now