Skip to content

Use goto-cc to compile once and establish sharing #29

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Apr 25, 2018
Merged

Use goto-cc to compile once and establish sharing #29

merged 1 commit into from
Apr 25, 2018

Conversation

tautschnig
Copy link
Collaborator

Writing goto binaries establishes sharing of equal irepts, which is
beneficial to all subsequent stages of analysis. For CBMC this
furthermore implies that compilation is only done once instead of doing
so for every loop unwinding attempt.

@tautschnig
Use goto-cc to compile once and establish sharing
273e8b5 
Writing goto binaries establishes sharing of equal irepts, which is
beneficial to all subsequent stages of analysis. For CBMC this
furthermore implies that compilation is only done once instead of doing
so for every loop unwinding attempt.
@tautschnig tautschnig mentioned this pull request Apr 5, 2018
Merged
@tautschnig tautschnig merged commit 4d78737 into diffblue:master Apr 25, 2018
@tautschnig tautschnig deleted the goto-cc branch April 25, 2018 10:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@peterschrammel peterschrammel peterschrammel approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tautschnig @peterschrammel