Skip to content

Conversation

@tautschnig
Copy link
Collaborator

This was #1301 in develop.

@kroening kroening merged commit 10121e3 into diffblue:master Sep 3, 2017
@tautschnig tautschnig deleted the replace-assert branch September 4, 2017 06:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants