search

viperproject / silicon

Symbolic-execution-based verifier for the Viper intermediate verification language.
Mozilla Public License 2.0
79 stars 31 forks source link

Fixed accidental change in PR #863 #874

Closed marcoeilers closed 1 week ago

marcoeilers commented 1 week ago

...that led to an old state being used after evaluating SeqContains arguments.

This fixes an issue @jcp19 recently discovered in the VerifiedSCION CI.