Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
goto-synthesizer: ignore __CPROVER_-prefixed symbols
Just like assign-instrumentation otherwise does, goto-synthesizer should filter out symbols with prefix `__CPROVER_` from the assigns set that it generates. The __CPROVER_going_to variables have become such an example (seen when running Kani's regression tests).
- Loading branch information