cprover
|
Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern. More...
Go to the source code of this file.
Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern.
Definition in file string_constraint_generator_comparison.cpp.