dg
dg copied to clipboard
PTA validator: use streams to store output
Fix #266