cprover
|
This section discusses some of the key data-structures used in the CPROVER codebase.
See irept for more information.
Inside irept, strings are stored as irep_idts, or irep_namets for keys to named_sub or comments. By default both irep_idt and irep_namet are typedefed to dstringt, unless USE_STD_STRING is set, in which case they are typedefed to std::string (this can be used for debugging purposes).