Commit ee0b4a5

committed

Do not unnecessarily break sharing during renaming

1 parent d820e89 commit ee0b4a5Copy full SHA for ee0b4a5

2 files changed

+286

-92

lines changed

src/goto-symex
- goto_symex_state.cpp
- goto_symex_state.h

2 files changed

+286

-92

lines changed

Comments

(0)