Skip to content

Slicers: do not rely on goto_programt::instructiont::function [blocks: #3126]#3842

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:function-slicers
Jan 20, 2019

Commits

Commits on Jan 20, 2019