cprover
|
Generates string constraints for string functions that return Boolean values. More...
Go to the source code of this file.
Generates string constraints for string functions that return Boolean values.
Definition in file string_constraint_generator_testing.cpp.