All of lore.kernel.org
 help / color / mirror / Atom feed
* Wiki for automatic reports / fixes
@ 2015-10-02 19:19 Luis R. Rodriguez
  2015-10-05 16:56 ` Ian Jackson
  0 siblings, 1 reply; 6+ messages in thread
From: Luis R. Rodriguez @ 2015-10-02 19:19 UTC (permalink / raw)
  To: Fengguang Wu, Valentin Rothberg, Dan Carpenter, Mel Gorman,
	Steven Rostedt
  Cc: Johannes Thumshirn, Konstantin Ryabitsev, Jonathan Corbet,
	Lars Kurth, Ian Jackson, Stefano Stabellini, Vitaly Kuznetsov,
	Robert Schweikert, ms, Juergen Gross, linux-kernel, Joerg Roedel,
	linux-doc

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

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2015-10-21 16:14 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-10-02 19:19 Wiki for automatic reports / fixes Luis R. Rodriguez
2015-10-05 16:56 ` Ian Jackson
2015-10-05 17:03   ` Luis R. Rodriguez
2015-10-12 19:55     ` Luis R. Rodriguez
2015-10-21 16:13       ` Luis R. Rodriguez
2015-10-21 16:13         ` [Cocci] " Luis R. Rodriguez

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.