Hi Christoph,

Please report on https://github.com/vincent-hugot/iTeML/issues !
Right now there is no shrinking on exceptions but it should be
possible (and reasonable) indeed.

-- 
Simon Cruanes

http://weusepgp.info/
key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3  7D8D 4AC0 1D08 49AA 62B6