Skip to content

Is --cover path working? #223

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
martin-cs opened this issue Sep 8, 2016 · 3 comments
Closed

Is --cover path working? #223

martin-cs opened this issue Sep 8, 2016 · 3 comments
Labels
feature request Instrumentations

Comments

@martin-cs
Copy link
Collaborator

From the code it looks like it is not finished. Is this the case as I might have found users for it?
@kroening
Copy link
Member

kroening commented Sep 8, 2016

No, not finished.

@martin-cs
Copy link
Collaborator Author

On Thu, 2016-09-08 at 04:56 -0700, Daniel Kroening wrote:

No, not finished.

OK; thanks. When it is, we will have people who want to try it.

Cheers,

  • Martin

smowton pushed a commit to smowton/cbmc that referenced this issue May 9, 2018
@NathanJPhillips
Merge pull request diffblue#223 from diffblue/feature/test-symbol_tablet
5d75f2e 
Updates to recording_symbol_tablet
chrisr-diffblue added a commit to chrisr-diffblue/cbmc that referenced this issue Aug 24, 2018
@chrisr-diffblue
Merge pull request diffblue#223 from diffblue/issue202-float-fixes
9f7f1d3 
A collection of fixes for enabling variable sensitivity interval values cope with FP code
@TGWDB
Copy link
Contributor

TGWDB commented Aug 10, 2021

Closing this as there is no progress or update in many years. Please reopen if you believe this is erroneous.

@TGWDB TGWDB closed this as completed Aug 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature request Instrumentations
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@kroening @peterschrammel @martin-cs @TGWDB