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

Juliet tests contain invocations of printLongLongLine #1237

Closed
michael-schwarz opened this issue Nov 6, 2023 · 1 comment
Closed

Juliet tests contain invocations of printLongLongLine #1237

michael-schwarz opened this issue Nov 6, 2023 · 1 comment
Labels
sv-benchmarks-MR This tracks an MR in the`sv-benchmarks` repo that will solve issue
Milestone
SV-COMP 2024

Comments

@michael-schwarz
Copy link
Member

This causes Goblint to invalidate all globals and thus become imprecise.
@michael-schwarz michael-schwarz added the sv-benchmarks-MR This tracks an MR in the`sv-benchmarks` repo that will solve issue label Nov 6, 2023
@michael-schwarz michael-schwarz added this to the SV-COMP 2024 milestone Nov 6, 2023
@michael-schwarz
Copy link
Member Author

Tracks: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/issues/1391

@michael-schwarz michael-schwarz mentioned this issue Nov 7, 2023
Closed
@sim642 sim642 closed this as completed Nov 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
sv-benchmarks-MR This tracks an MR in the`sv-benchmarks` repo that will solve issue
Projects
None yet
Milestone
SV-COMP 2024
Development

No branches or pull requests
2 participants
@sim642 @michael-schwarz