Added a regression test for local_bitvector_analysis#2634

Merged

kroening merged 1 commit intodiffblue:developfrom

qaphla:local_bitvector_analysis_regression

Jul 30, 2018

Commits on Jul 30, 2018

Added a regression test checking that --pointer-check does not generate
klaas
committed