Skip to content

Conversation

@danpoe
Copy link
Contributor

@danpoe danpoe commented Mar 19, 2017

This adds an option --no-caching to goto-instrument which disables the caching of intermediate results when doing transitive inlining (currently used by --function-inline). This is to improve memory consumption on the codebase of an industrial partner.

@kroening kroening merged commit 7b8a4e6 into diffblue:master Mar 19, 2017
@danpoe danpoe deleted the inlining-no-caching branch March 1, 2018 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants