<div dir="ltr">I was thinking about some pretty printers.<br>And I'm thinking about SVals and SymExprs specifically.<br><br>Why do we have no pretty printers for such types?<br><br>I guess we could reuse their <span style="font-family:monospace">dump()</span> method to acquire string representation.<br>The only problem is that that dumps the output to the <i>standard error stream</i>.<br><br>What options do I have to get a python pretty-printer using this dump method?<br><br>Another possible way to implement such a pretty printer is to hardcode the SVal<br>kinds in python to do the right thing for each case.<br>I'm not really a big fan of this way though.<br><br>If you have experience with gdb pretty printers then your comments more then welcomed.<br><br>Balazs.</div>