[depends: #1333] pointers now come with a width - #1355

Merged

kroening merged 3 commits into

cleanout-config-dependency

Oct 14, 2017

Commits on Oct 13, 2017

Pointers now come with a width
kroening
committed
00d25a2
Remove config dependency from CVC and DPLIB solvers

tautschnig
authored and
kroening
committed
12d45c6
test approx-const-fp-array-variable-invalid-cast-const-fp now more generous
kroening
committed
32dcad8