Skip to content

adjusted the command line options for the pid controller case study #300

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 3, 2017
Merged

adjusted the command line options for the pid controller case study #300

merged 1 commit into from
Apr 3, 2017

Conversation

theyoucheng
Copy link
Contributor

  • adjusted the command line for the pid controller case study with a better look output test suites
  • added the complete output from CBMC to the tutorial

@kroening kroening self-assigned this Nov 11, 2016
tautschnig
tautschnig approved these changes Jan 19, 2017
View reviewed changes
Copy link
Collaborator

@tautschnig tautschnig left a comment

Choose a reason for hiding this comment

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

Looks good to me, but I may be lacking context for this work.

@kroening kroening merged commit 79a95f7 into diffblue:master Apr 3, 2017
smowton added a commit to smowton/cbmc that referenced this pull request May 9, 2018
@smowton
Merge pull request diffblue#300 from diffblue/pull-support-20180104
cbd6688 
Update to latest cbmc develop
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tautschnig tautschnig tautschnig approved these changes

Assignees

@kroening kroening

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@theyoucheng @tautschnig @kroening