From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/3517 Path: news.gmane.org!not-for-mail From: Nathan McSween Newsgroups: gmane.linux.lib.musl.general Subject: Re: Request for volunteers Date: Sun, 30 Jun 2013 08:25:38 -0700 Message-ID: References: <20130630055202.GA16580@brightrain.aerifal.cx> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=047d7bdc10d061841704e060b901 X-Trace: ger.gmane.org 1372605952 28240 80.91.229.3 (30 Jun 2013 15:25:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 30 Jun 2013 15:25:52 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-3521-gllmg-musl=m.gmane.org@lists.openwall.com Sun Jun 30 17:25:54 2013 Return-path: Envelope-to: gllmg-musl@plane.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1UtJVh-000458-L9 for gllmg-musl@plane.gmane.org; Sun, 30 Jun 2013 17:25:53 +0200 Original-Received: (qmail 10039 invoked by uid 550); 30 Jun 2013 15:25:51 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: Original-Received: (qmail 10030 invoked from network); 30 Jun 2013 15:25:50 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=iphOI4jRC0dw7uZDM5ro6vKuqhMbuJ9e8wQJ47gSkFU=; b=FiPmbXCJNuU3dgD5kWDFLYzPxhHagvrOQ+ny2hYwMjRpaelGqmCIvLoamRGrpY778X XDpz09mMPvlo4v+bcWl4wyvQPe38Zii23u+Nz931F4gO665MWHhxIvZKJELn3xfqHIFS 6LdRPoT+urafaxBrRSDyzLWWLmgZSIflgid9AojDAT48oNUoHuIsvUEXbYPkwh9lHdSC 4UijQkb0FGffRic1yffFoRlBx2EtzHxXsTJ/3T2/VBzz5+XAdi/8190ouKAJr67LMQag RMrsBHwS/DduWKtAS4xsP3efznA4FRKaixRDsXd40P6ZjbeOU8MJRouLYUnDZYYTy7/a fi+Q== X-Received: by 10.50.62.83 with SMTP id w19mr15720471igr.0.1372605938498; Sun, 30 Jun 2013 08:25:38 -0700 (PDT) In-Reply-To: <20130630055202.GA16580@brightrain.aerifal.cx> Xref: news.gmane.org gmane.linux.lib.musl.general:3517 Archived-At: --047d7bdc10d061841704e060b901 Content-Type: text/plain; charset=UTF-8 > 5. Rigorous testing. My ideal vision of this role is having somebody > who takes a look at each bug fix committed and writes test cases > for the bug and extrapolates tests for possible related bugs that > haven't yet been found. And who reads the glibc bug tracker so we > can take advantage of their bug reports too. This could be found using something like llvms Klee or any other smt bug finder. IMO conformance tests should be written with the project otherwise what is currently happening with musl (conformance tests don't exist or have bugs) happens. --047d7bdc10d061841704e060b901 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

> 5. Rigorous testing. My ideal vision of this role is ha= ving somebody
> =C2=A0 =C2=A0who takes a look at each bug fix committed and writes tes= t cases
> =C2=A0 =C2=A0for the bug and extrapolates tests for possible related b= ugs that
> =C2=A0 =C2=A0haven't yet been found. And who reads the glibc bug t= racker so we
> =C2=A0 =C2=A0can take advantage of their bug reports too.

This could be found using something like llvms Klee or any o= ther smt bug finder. IMO conformance tests should be written with the proje= ct otherwise what is currently happening with musl (conformance tests don&#= 39;t exist or have bugs) happens.

--047d7bdc10d061841704e060b901--