Wiki for automatic reports / fixes

[Luis R. Rodriguez]

Fengguang, Dan, Mel,

Valentin has some open source tools that uses some SAT solver the
backend to hunt for dead, the undertaker tool [0] inspects Kconfig,
and uses SAT solver to do this work. A while ago it was determined
that this code could not be merged upstream for a variety of reasons,
but mostly due to the fact that it was R&D work and it was under GPLv3
[1]. I know a few of you have other testing tools which helps find
other sorts of issues. To my knowledge automated reports for these may
be expected readily these days by developers from 0-day bot, and for
smatch issues, but its unclear what we should expect from the other
ones. There is also some pending ideas over a few of these other
testing frameworks, for instance a recent discussion was started to
evaluate the potential for integration of Xen into the 0-day bot
testing scheme. While discussing expectations and information about
reports over these with Valentin it occurred to me information about
all these may be scattered separately and some developers may be
surprised when they first get reports / fixes from these sorts of
testing systems and that perhaps it may be useful if we had a single
wiki entry point where we could refer folks to the different ongoing
testing infrastructures out there working upstream.

If we could piggy back off of an already existing wiki then great, but
if not I was thinking something off of wiki.kernel.org might be good.
How about tests.wiki.kernel.org ? If such projects don't have a wiki
they could perhaps use pages off of tests.wiki.kernel.org to elaborate
and set expectations straight. Thoughts?

[0] http://vamos.informatik.uni-erlangen.de/trac/undertake
[1] https://lwn.net/Articles/617383/

 Luis
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/