Don't do string lookups in symex main loop - #2262

Merged

tautschnig merged 2 commits into

diffblue:developfrom

karkhaz:kk-rm-noop-depth-lookup

Jun 6, 2018

Commits on Jun 1, 2018

Remove optionst member from goto_symext
karkhaz
committed
e77cabc
Remove string lookups from goto_symext main loop
karkhaz
committed
b5ebe6b