cprover
|
Generates string constraints for functions adding content add the end of strings. More...
Go to the source code of this file.
Generates string constraints for functions adding content add the end of strings.
Definition in file string_constraint_generator_concat.cpp.