Skip to content
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

Make witnesses compliant with witness linter #147

Closed
3 tasks done
sim642 opened this issue Nov 25, 2020 · 0 comments
Closed
3 tasks done

Make witnesses compliant with witness linter #147

sim642 opened this issue Nov 25, 2020 · 0 comments
Assignees
@sim642
Labels
bug sv-comp SV-COMP (analyses, results), witnesses
Milestone
SV-COMP 2021

Comments

@sim642
Copy link
Member

sim642 commented Nov 25, 2020 •
edited
Loading

Problems

TODO

  • Run witnesslinter on SoftwareSystems after fixes.
@sim642 sim642 added bug sv-comp SV-COMP (analyses, results), witnesses labels Nov 25, 2020
@sim642 sim642 self-assigned this Nov 25, 2020
sim642 added a commit that referenced this issue Nov 26, 2020
@sim642
Remove xsi:schemaLocation from witness XML because witnesslinter does…
9faa0e3 
…n't like it (issue #147)
sim642 added a commit that referenced this issue Nov 26, 2020
@sim642
Remove control edge data keys from correctness witnesses (issue #147)
73fcc6e 
Currently they are replaced with custom goblintControl, which doesnt break the rules nor the witnesslinter but simplifies reading the witness manually.
@sim642 sim642 closed this as completed Nov 26, 2020
@sim642 sim642 added this to the SV-COMP 2021 milestone Nov 27, 2020
sim642 added a commit that referenced this issue Dec 1, 2020
@sim642
Revert "Remove control edge data keys from correctness witnesses (issue
0c164e5 
#147)"

This reverts commit 73fcc6e.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sim642 sim642

Labels
bug sv-comp SV-COMP (analyses, results), witnesses
Projects
None yet
Milestone
SV-COMP 2021
Development

No branches or pull requests
1 participant
@sim642