Baltoli / project-docs

Documents for my Part III project
0 stars 0 forks source link

Removal of all TESLA Code #41

Closed Baltoli closed 7 years ago

Baltoli commented 7 years ago

This is a special case when deleting usages - if there are no non-deleted usages, then there's no point instrumenting the module at all. In this case maybe a good idea would be to just not run the instrumenter at all?