cprover
string_constraint_generator_comparison.cpp File Reference

Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern. More...

Include dependency graph for string_constraint_generator_comparison.cpp:

Go to the source code of this file.

Detailed Description

Generates string constraints for function comparing strings, such as: equals, equalsIgnoreCase, compareTo, hashCode, intern.

Definition in file string_constraint_generator_comparison.cpp.