vector_typet::size() is now a constant_exprt#4007

Merged

kroening merged 2 commits intodevelopfrom

vector_typet_size

Feb 1, 2019

Commits on Feb 1, 2019

C/C++ now have frontend_vector type

Daniel Kroening
authored and
tautschnig
committed
vector_typet::size() is now a constant_exprt

Daniel Kroening
authored and
tautschnig
committed