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); }