Basic version of goto-diff tool #65
Conversation
| remove_unused_functions(goto_functions, ui_message_handler); | ||
|
|
||
| //ENHANCE: this should be done somewhere else | ||
| if(config.main == "") //no function cmd line option given |
There was a problem hiding this comment.
It's unclear to me why this needs to be done here?
peterschrammel
force-pushed
the
goto-diff
branch
5 times, most recently
from
af954aa to
341d403
Compare
|
@peterschrammel it may make sense to merge the first 4 patches of my series into "goto-diff initial" or one of the later ones as appropriate. |
|
Yes. And it needs rebasing too. I'll clean it up as soon as #62 is merged. |
|
@peterschrammel Thanks for cleaning up #62 and @kroening thanks for merging! Looking forward to getting this one refined, I'll then see what further patches on top of this one I might already have ready for submission. |
|
@tautschnig, maybe it makes sense to pull your patches into https://github.com/peterschrammel/cbmc/tree/goto-diff right away as they are likely to be invalidated by my clean-up. |
|
@peterschrammel Apologies for taking a while to get this done, but I've now pushed all the further and create a new pull request with your fork (but you will have noticed anyway). |
peterschrammel
force-pushed
the
goto-diff
branch
from
922cbfa to
82ff1fc
Compare
basic syntactic diffing
requires pull request #62