https://bugs.kde.org/show_bug.cgi?id=375839

--- Comment #4 from Julian Seward <jsew...@acm.org> ---
I should add: as a workaround, you can try specifying

  --vex-guest-max-insns=25

and if that still doesn't work, lowering the value towards zero.
You shouldn't go below about 10.  Lower values reduce performance and
increase the risk of false errors.  The default value is 50.

-- 
You are receiving this mail because:
You are watching all bug changes.

Reply via email to