You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@schuessf from the Ultimate team at the University of Freiburg noticed that our witnesses often contain invariants about local variables that are not in scope.
We should add an option to filter these out using the attributes we introduced to CIL in goblint/cil#155.
The text was updated successfully, but these errors were encountered:
michael-schwarz
changed the title
Witnesses: Filter invariants about variables possibly not in scope out of
Witnesses: Filter invariants about variables possibly not in scope
Feb 10, 2024
@schuessf from the Ultimate team at the University of Freiburg noticed that our witnesses often contain invariants about local variables that are not in scope.
We should add an option to filter these out using the attributes we introduced to CIL in goblint/cil#155.
The text was updated successfully, but these errors were encountered: