Split string generator axioms into separate vectors#1728

Merged

romainbrenguier merged 3 commits intodiffblue:developfrom

romainbrenguier:refactor/split-axiom-vectors

Jan 30, 2018

Commits on Jan 26, 2018

Split string generator axioms into separate vectors

Lukasz A.J. Wrona
authored and
romainbrenguier
committed
Adapt unit tests for splitted axiom vectors
romainbrenguier
committed
Cleanup unused fields in string refinement
romainbrenguier
committed