From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dmentre@linux-france.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 03C367F75C
	for <caml-list@sympa.inria.fr>; Sun,  7 Sep 2014 09:34:20 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=pra;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  dmentre@linux-france.org) identity=mailfrom;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="dmentre@linux-france.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@tempura.bentobako.org) identity=helo;
  client-ip=94.23.39.64;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="dmentre@linux-france.org";
  x-sender="postmaster@tempura.bentobako.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgUFANMJDFReFydA/2dsb2JhbABZgw2EJssWgx8BgQIWd4QEAQUjFUARCxoCBRYLAgIJAwIBAgENOBMIAQGIQqcslH8BF4EsjigWgmOBUwEEkUOScI1rg2ODOQEBAQ
X-IPAS-Result: AgUFANMJDFReFydA/2dsb2JhbABZgw2EJssWgx8BgQIWd4QEAQUjFUARCxoCBRYLAgIJAwIBAgENOBMIAQGIQqcslH8BF4EsjigWgmOBUwEEkUOScI1rg2ODOQEBAQ
X-IronPort-AV: E=Sophos;i="5.04,481,1406584800"; 
   d="scan'208";a="78023122"
Received: from tempura.bentobako.org ([94.23.39.64])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 07 Sep 2014 09:34:20 +0200
Received: from [192.168.0.18] (85-171-113-17.rev.numericable.fr [85.171.113.17])
	by tempura.bentobako.org (Postfix) with ESMTPSA id E51941763
	for <caml-list@inria.fr>; Sun,  7 Sep 2014 09:34:16 +0200 (CEST)
Message-ID: <540C0A78.6000408@linux-france.org>
Date: Sun, 07 Sep 2014 09:34:16 +0200
From: =?UTF-8?B?RGF2aWQgTUVOVFLDiQ==?= <dmentre@linux-france.org>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.7.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAMu2m2KvnO7MSRuFJEsae1mc8zPBnjM0BU7BUpdrJOEdWXtAYA@mail.gmail.com> <20140905215626.GB3416@annexia.org> <CAMu2m2KDbhm18=rr0-DEE41D1knQ3C7Y=cgHoUQ0vqfuvk7+mA@mail.gmail.com> <20140905221302.GE3099@annexia.org> <20140905221813.GC3416@annexia.org> <540A3B85.6010609@ens-lyon.org> <CAAxsn=H3V51uu5BYQBmebbnbc__bF+kH_MstuXrfGDti7jyJBg@mail.gmail.com> <540AA0DB.1040202@ens-lyon.org> <CAKR7PS_brNtfaYmL+tSFCt=DnRX3jaQ=+5x-98pp=5JqXpKXtg@mail.gmail.com> <540B5B9A.9040207@ens-lyon.org> <540B6F39.20608@linux-france.org> <540B832F.7060407@ens-lyon.org>
In-Reply-To: <540B832F.7060407@ens-lyon.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] segfault in simple program with 4.02 native

Hello Martin,

2014-09-06 23:57, Martin Jambon:
> I'm a bit concerned about maintainability and continuous testing,
> though, since this would effectively split the user base between those
> using the safe option and those using the fast option.

Having both options would help continuous testing as you can compare 
both version results and flag any difference between them. They should 
have the same functional behavior, only speed should be different. 
Factorizing tests for the two versions is left as an exercise for the 
reader. ;-)

Best regards,
david