Skip to content

Add JSON_UI #47

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 Apr 2, 2016 · 2 comments
Closed

Add JSON_UI #47

peterschrammel opened this issue Apr 2, 2016 · 2 comments
Assignees
@peterschrammel
Labels
enhancement task

Comments

@peterschrammel
Copy link
Member

produce JSON formatted output, similar to --xml-ui
@peterschrammel peterschrammel self-assigned this Apr 2, 2016
@peterschrammel
Copy link
Member Author

first part in pull request #62

further TODOs:

  • show-loops
  • source location output
  • goto trace
  • various other goto-instrument output

@peterschrammel
Copy link
Member Author

show loops, properties, source locations, cover goals, all properties, stop-on-fail done in #127

danpoe added a commit to danpoe/cbmc that referenced this issue Feb 28, 2017
@danpoe
Merge pull request diffblue#47 from diffblue/feature/sensitive-pointers
6f75660 
Sensitive pointers
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@peterschrammel peterschrammel

Labels
enhancement task
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@peterschrammel