Return-Path: X-Original-To: apmail-couchdb-dev-archive@www.apache.org Delivered-To: apmail-couchdb-dev-archive@www.apache.org Received: from mail.apache.org (hermes.apache.org [140.211.11.3]) by minotaur.apache.org (Postfix) with SMTP id 827ED1118B for ; Mon, 30 Jun 2014 08:23:04 +0000 (UTC) Received: (qmail 70630 invoked by uid 500); 30 Jun 2014 08:23:04 -0000 Delivered-To: apmail-couchdb-dev-archive@couchdb.apache.org Received: (qmail 70571 invoked by uid 500); 30 Jun 2014 08:23:04 -0000 Mailing-List: contact dev-help@couchdb.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@couchdb.apache.org Delivered-To: mailing list dev@couchdb.apache.org Received: (qmail 70554 invoked by uid 99); 30 Jun 2014 08:23:03 -0000 Received: from nike.apache.org (HELO nike.apache.org) (192.87.106.230) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 30 Jun 2014 08:23:03 +0000 X-ASF-Spam-Status: No, hits=-0.7 required=5.0 tests=RCVD_IN_DNSWL_LOW,SPF_PASS X-Spam-Check-By: apache.org Received-SPF: pass (nike.apache.org: domain of bchesneau@gmail.com designates 209.85.219.47 as permitted sender) Received: from [209.85.219.47] (HELO mail-oa0-f47.google.com) (209.85.219.47) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 30 Jun 2014 08:23:01 +0000 Received: by mail-oa0-f47.google.com with SMTP id n16so8464497oag.34 for ; Mon, 30 Jun 2014 01:22:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type:content-transfer-encoding; bh=Y+EdWZ+0rfJmImk3QOKQ2mmgYQ+VHhDQqeSm4q9s2Do=; b=zxbBJzwe5coTsXq1QE3JT5V3chAWXrGcMM8Tf1mJoDBdgYyEncc0BN3XaqJUMVC7J3 ooMu9WrGpr/7iNVqlsni2UgRNID8sgv2J1Mi4xfU/1NFMTCw3EpURNGHHN0Ee/ghrBhV jvn55qgIk9sEczY74GBSnTzZCywEAvNK2b2tF22lQK3GcPplo7ZMRI+Rl2FmYBGiCJhi T0QAmK1EimPCFXIa32kCvBidAYyPVi7zCxzoVy9OyFfUiLLtFRg4n6z13XPcuDnJ0qrk zoiPQgwiO9TPURB5OI6/vx+jVpNUp3oODHyGEQuh6lawAS3Wkxz3IqgawNnbSiIcp+eI qlhA== X-Received: by 10.60.34.225 with SMTP id c1mr40015067oej.14.1404116557220; Mon, 30 Jun 2014 01:22:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.202.48.213 with HTTP; Mon, 30 Jun 2014 01:22:16 -0700 (PDT) In-Reply-To: References: <2CF0713F-53DE-40D6-B694-95E58E5F92AA@apache.org> From: Benoit Chesneau Date: Mon, 30 Jun 2014 10:22:16 +0200 Message-ID: Subject: Re: info: quickcheck free for opensource projects To: "dev@couchdb.apache.org" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Virus-Checked: Checked by ClamAV on apache.org cool. Not sure what could be the roadmap on this. Like I see it maybe the first thing to do is to integrate the changes on the test suite from Alexander. Then we can probably add quickcheck test on each each module using the macros to define if they are executed or not? - benoit On Wed, Jun 11, 2014 at 7:41 PM, Jan Lehnardt wrote: > > On 11 Jun 2014, at 19:39 , Russell Branca wrote: > >> I'm a huge +1 to this. >> >> I've been trying to figure out a way to get us able to use the full vers= ion >> of QuickCheck for a while now. John Hughes has been hinting that they fo= und >> a way to make the licensing work for open source, and it seems like this= is >> it. >> >> The full version of QuickCheck has some sweet features for testing out >> state machines and also the PULSE scheduler which randomizes the executi= on >> of processes to help discover race conditions: >> http://www.quviq.com/features.html >> >> To clarify the questions about another "CI" server, I believe the reason >> for this being released as a CI server is as a way to use the full versi= on >> of QuickCheck without them having to distribute it. > > Ah, apologies for missing that particular context. > > I=E2=80=99m still +100 on this :) > > Best > Jan > -- > >> >> >> -Russell >> >> >> On Wed, Jun 11, 2014 at 4:13 AM, Jan Lehnardt wrote: >> >>> QC is not a CI tool. It=E2=80=99s more like an additional layer of more= thorough >>> unit testing that could (depending on their terms) run by our existing = CI >>> solutions. >>> >>> I=E2=80=99d be in favour of looking at how we can make it work! >>> >>> Best >>> Jan >>> -- >>> >>> On 11 Jun 2014, at 13:06 , Dirkjan Ochtman wrote: >>> >>>> n Wed, Jun 11, 2014 at 1:00 PM, Benoit Chesneau >>> wrote: >>>>> quickcheck made quickcheck-ci available for free for open-sources >>> projects: >>>>> >>>>> http://quickcheck-ci.com/ >>>>> >>>>> It would be interresting to use it for couchdb imo. Thoughts? >>>> >>>> If we still use Travis, we already have 2 CI instances, and they have >>>> not been able to prevent drawn out release processes like the one for >>>> 1.6.0. Unless we somehow think this will magically solve all our CI >>>> needs, I'd prefer to instead spend time on improving other parts of >>>> the CI we already have. >>>> >>>> Cheers, >>>> >>>> Dirkjan >>> >>> >