cprover
|
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>
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.