kfreebsd also uses ELF, and hybrid binaries are thus supported#2534

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:debian6

Jul 7, 2018

Commits on Jul 7, 2018

kfreebsd also uses ELF, and hybrid binaries are thus supported
tautschnig
committed