search

markaduol / UROP

Using symbolic execution to identify semantic inconsistencies between implementations of the same function declaration across different repository revisions.
0 stars 1 forks source link

Add veryclean target to Makefile #6

Closed andreamattavelli closed 7 years ago

andreamattavelli commented 7 years ago

veryclean should remove every compilation artifact, even the pass.

markaduol commented 7 years ago

Done

andreamattavelli commented 7 years ago

Great, thanks!