array2string.h

Go to the documentation of this file.

#include <util/irep/expr.h>
#include <util/symtab/symbol.h>
 
/* convert char array to to string, returns 'false' on success and 'true'
 * otherwise */
bool array2string(const symbolt &src, exprt &dest);