Skip to content

Use goto_programt::make_X factories in goto_convert#4000

Merged
tautschnig merged 2 commits intodevelopfrom
use_make_X
Jan 31, 2019

Commits

Commits on Jan 31, 2019