Hi Frank,
Thank you for the pointer, it is hugely useful.
Kind regards,
Anton
> On 16 Feb 2021, at 19:41, Frank Busse wrote:
>
> Hi Anton,
>
>
> On Wed, 10 Feb 2021 10:39:09 +0300
> Anton Trunov wrote:
>
>> I’m looking for a CLI option that would allow me to store only test
>> cases
Hi Anton,
On Wed, 10 Feb 2021 10:39:09 +0300
Anton Trunov wrote:
> I’m looking for a CLI option that would allow me to store only test
> cases resulting in errors. The `--only-output-states-covering-new`
> option reduces the number of tests written to my hard drive
> significantly, however I’d
Dear all,
I’m looking for a CLI option that would allow me to store only test cases
resulting in errors.
The `--only-output-states-covering-new` option reduces the number of tests
written to my hard drive significantly,
however I’d like to keep only the counter-examples as it simplifies my
