[TG-3912] Sanitize string_constraintt bounds#2489

Merged

allredj merged 6 commits intodevelopfrom

fix-empty-indexset

Jul 20, 2018

Commits on Jul 18, 2018

Fix string_constraintt bound values
Joel Allred
committed
Move string_constraintt constructor to cpp
Joel Allred
committed
Add invariants on the sign of string_constraintt bounds
Joel Allred
committed
Use const references in string_constraintt
Joel Allred
committed
Encapsulate constraints for equals
Joel Allred
committed
remove unneeded NOLINT
Joel Allred
committed