string_constraint_generator_testing.cpp File Reference

Generates string constraints for string functions that return Boolean values. More...

#include <solvers/refinement/string_refinement_invariant.h>
#include <solvers/refinement/string_constraint_generator.h>
#include <util/deprecate.h>

Include dependency graph for string_constraint_generator_testing.cpp:

Go to the source code of this file.

Detailed Description

Generates string constraints for string functions that return Boolean values.

Definition in file string_constraint_generator_testing.cpp.