Remove renamedt from symex_targett interface #8447
Open
Codecov / codecov/patch
succeeded
Sep 10, 2024 in 1s
92.30% of diff hit (target 78.25%)
View this Pull Request on Codecov
92.30% of diff hit (target 78.25%)
Annotations
Check warning on line 300 in src/goto-symex/symex_target_equation.cpp
codecov / codecov/patch
src/goto-symex/symex_target_equation.cpp#L300
Added line #L300 was not covered by tests
Loading