Hello, Alvaro.
> Some people have already heard about this.
Yes, we did :) Nice job!
> * Should we run something other than "make check-world" As far as I
> know, that covers all or almost all the tests we have; are there
> things that we should have and are not running? If so, how do we go
>
Hi,
Pursuant to promises made in Brussels a couple of months ago, I set up a
machine to run and expose the "make coverage" report under "make
check-world". Some people have already heard about this.
I would like to collect ideas on how to improve this. For example
* Should we run something oth
