cprover
|
Generates string constraints for string transformations, that is, functions taking one string and returning another. More...
Go to the source code of this file.
Generates string constraints for string transformations, that is, functions taking one string and returning another.
Definition in file string_constraint_generator_transformation.cpp.