Skip to content

Remove unnecessary ns.follow in symex_dereference [blocks: #3652]#3738

Merged
kroening merged 1 commit intodiffblue:developfrom
tautschnig:no-follow-1
Jan 10, 2019

Commits

Commits on Jan 9, 2019