On Wed, Nov 7, 2018 at 1:38 PM, Liran Alon <liran.alon@xxxxxxxxxx> wrote: > Should you use report_skip() instead of printf()? Indeed. I didn't know about (or had forgotten about) report_skip. I'm out all day tomorrow, but I'll send a V2 on Friday. Thanks!