Prettyprint to a string
From Verific Design Automation FAQ
Q: How do I prettyprint a Verilog parsetree node to a string?
Example code:
VeriExpression *init_value = param_id -> GetInitialValue();
if (init_value) {
ostringstream os;
init_value->PrettyPrint(os, 0);
char *to_string = Strings::save(os.str().c_str()) ;
cout << "*** initial value: " << to_string << " ***\n";
Strings::free(to_string);
}