[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [xsmith-dev] Early Dafny Results (Re: XSmith questions)
Two more bugs:
The latter, again, is not discovered by the fuzzer, but by trying to formalizing it (well, I still couldn't implement it either -- see the original thread for the problem and question).
I'm just sort of lurking here, but I've really been enjoying this
thread. Great work everyone!!!
> The latter one is not discovered by fuzzing itself. I was writing a type
> constraint to be put in the fuzzer, and thinking what will happen if we
> violate the constraint, so I tried it out manually and discovered the issue.
In my experience this happens a lot :)