> On Nov 14, 2019, at 3:05 AM, Paulo Matos <[email protected]> wrote:
Let me echo Robby with 1000*thanks :)
>
> 4. Builds once again all the variants with the llvm static analyser and
> keeps a record of the failures (for example:
> https://gitlab.com/racket/racket/-/jobs/350271564/artifacts/file/scan-report_mmm/2019-11-14-032030-5552-1/index.html).
> This step requires us to build LLVM with Z3 enabled so we can use the
> work from ICSE'19[7].
Is this about “flaky tests”? Jon Bell at George Mason (DC) has done work on
this idea that could possibly supplement or replace this:
https://www.jonbell.net/icse18-deflaker.pdf
— Matthias
--
You received this message because you are subscribed to the Google Groups
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-dev/B6FAF440-B324-4AEC-B88C-97BAEADD2CAB%40felleisen.org.
