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-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
