I'm a huge +1 to this. I've been trying to figure out a way to get us able to use the full version of QuickCheck for a while now. John Hughes has been hinting that they found 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 execution 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 version of QuickCheck without them having to distribute it. -Russell On Wed, Jun 11, 2014 at 4:13 AM, Jan Lehnardt <j...@apache.org> wrote: > QC is not a CI tool. It’s more like an additional layer of more thorough > unit testing that could (depending on their terms) run by our existing CI > solutions. > > I’d be in favour of looking at how we can make it work! > > Best > Jan > -- > > On 11 Jun 2014, at 13:06 , Dirkjan Ochtman <dirk...@ochtman.nl> wrote: > > > n Wed, Jun 11, 2014 at 1:00 PM, Benoit Chesneau <bchesn...@gmail.com> > 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 > >