Skip to content

Minimise test suites #257

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
Closed
peterschrammel opened this issue Oct 19, 2016 · 3 comments
Closed

Minimise test suites #257

peterschrammel opened this issue Oct 19, 2016 · 3 comments
Assignees
@cristina-david
Labels
enhancement task

Comments

@peterschrammel
Copy link
Member

PR to master
with regression tests for C
@cristina-david
Copy link
Collaborator

PR done in #285. However, it only has regression tests for Java. I'll add some for C.

@cristina-david
Copy link
Collaborator

Added 2 regression tests for C to the pull request.

@forejtv
Copy link
Contributor

forejtv commented Feb 7, 2017

This is done in https://github.com/diffblue/cbmc-testgen/pull/46

@forejtv forejtv closed this as completed Feb 7, 2017
smowton added a commit to smowton/cbmc that referenced this issue May 9, 2018
@smowton
Merge pull request diffblue#257 from diffblue/owen/precise-access-paths
5a0b2d4 
Assorted small improvements to LVSA code
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@cristina-david cristina-david

Labels
enhancement task
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@kroening @peterschrammel @forejtv @cristina-david