Oct. 23, 2015
2:54 p.m.
On 23/10/15 16:17, Ben Coman wrote:
On Fri, Oct 23, 2015 at 2:32 PM, Marcus Denker <marcus.denker@inria.fr> wrote:
It runs twice the tests (first to get false positives) and some Lint rules.
btw, I always wondered, whether the first run of tests to record existing errors could be done as the last step of creating the validation image, then it would not need to be run each time. Maybe that might cause problems running the validation image on different platforms?
Running it once on all platforms would solve that (and show platform differences) Stephan