String refinement: Do not fail if the solver returns a negative string length [blocks: #2574]#4113

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:fix-negation_of_not_contains_constraint

Feb 7, 2019

Commits on Feb 7, 2019

String refinement: Do not fail if the solver returns a negative string length
tautschnig
committed