[Caml-list] [qcheck] shrinking counterexamples on exception

[Caml-list] [qcheck] shrinking counterexamples on exception

[Christoph Höger]

Dear all,

I am running property based tests using qcheck on some transformation
code. The tests fail with an exception (which is somewhat expected) but
I cannot easily debug the problem since the counterexample is still
quite large. In case of a violated assertion, shrinking works just fine.
I am running the test using

QCheck.Test.check_exn mytest

is there a test-runner that shrinks a counterexample in case of an
exception?

thanks,

Christoph


-- 
Christoph Höger

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Übersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: +49 (30) 314-24890
E-Mail: christoph.hoeger@tu-berlin.de

Re: [Caml-list] [qcheck] shrinking counterexamples on exception

[Simon Cruanes]

[-- Attachment #1: Type: text/plain, Size: 307 bytes --]

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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 819 bytes --]