fix build depenencies of unit test binary#2375

Merged

kroening merged 1 commit intodevelopfrom

unit-dependencies

Jun 20, 2018

Commits on Jun 20, 2018

fix build depenencies of unit test binary
Daniel Kroening
committed