Skip to content

Conversation

reuk
Copy link
Contributor

@reuk reuk commented Sep 13, 2017

These should be made to pass before enabling them.

Request review from @peterschrammel and @allredj

These should be made to pass *before* enabling them.
Copy link
Contributor

@allredj allredj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved IF CI PASSES!!!! :-)))

@reuk
Copy link
Contributor Author

reuk commented Sep 13, 2017

Never mind, @kroening just committed the same thing directly to develop. Closing.

@reuk reuk closed this Sep 13, 2017
@reuk reuk deleted the reuk/disable-symex-tests branch September 14, 2017 16:57
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