cprover
|
Generates string constraints for constant strings. More...
#include <solvers/refinement/string_constraint_generator.h>
#include <ansi-c/string_constant.h>
#include <util/prefix.h>
#include <util/unicode.h>
Go to the source code of this file.
Generates string constraints for constant strings.
Definition in file string_constraint_generator_constants.cpp.