[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] pass got stuck
- To: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
- Subject: Re: [creduce-bugs] pass got stuck
- From: Eric Eide <eeide@cs.utah.edu>
- Date: Sun, 09 Feb 2025 13:43:31 -0700
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=utah.edu; dmarc=pass action=none header.from=cs.utah.edu; dkim=pass header.d=cs.utah.edu; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Vc2Ga9nnWKWb8jMcujVCgmaF+SL803pnWWRWFE300Jc=; b=IhfaveeB2Owc4Wzew6m7Xyh49C7imCCVWpDqySM2uEtVkpsc2iCBVlCh8J0x1hlWjARYAkMi8G0A3rFsTNL3hSGTNDenS9Mrwip0glMfuvnVwk45uHsgK0nKv9TtiKmnm//pYXN6RmuzVX3/KNUaaUfWiM5SZr7z4v3AuMAXIZMO2+0uMLRC2D6i1IMGiDeym3qwoeQUmeOG9ZqJnUa5/yjXQ/EN1gGzqAyCu2v50r8n09VfDb8AMZ8b1Xv+T/JyOXLwaFTfXco9CT5t7noYc1d6qCZS2qqean+I5iop19vRvOuemS0LOCkDDnp/1l8g/0tNrNtKVrox8e8lrO2Rtg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=bnyP75ICpHE19+NjKddyzWdapzXqFsGDp+TEJOHy0O4FsrBCxAu79BcgH73qdoTpFXdx2gyx9Ysdtt24/jJGHcwTwM4k6HfPb8xNRWxySdv0XI9XBUHPvp/s4y+wxeD5P9YDbrn9cd65Y+8O6ut6s4hbC/wAegasMllBtP/sfDGOU0sAWwSluqVLORMXihQBWNgRZ7sn7MVj3PW+PqTkIMFOiGHqTfLprbUJ4ayXWfdq0T5HgESmxIJOyhh7/mTrEWi+IJ4gb3t5nFaddsX+SnTnyGqYBjZVpbRnHX29c2JCmmqXJwCS1sIvMWmpsEU4HqayPSatPvgwOpb46uKUPg==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=cs.utah.edu;
- Cc: C-Reduce Bugs Mailing List <creduce-bugs@flux.utah.edu>
- Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=utah.edu; i=@utah.edu; q=dns/txt; s=UniversityOfUtah; t=1739133823; x=1770669823; h=from:to:cc:subject:in-reply-to:references:date: message-id:mime-version; bh=UtyqUqQ6/Vu71gIXNwcKt3Qn30ZKxrFxYNxs66IAXBM=; b=UOAp8pQcldhVzy10u0ZWTQY3CFnV7LsDkFDhy67Ttj7SvNu/mj7/+CSO gWAkOlOuyeL2ns8JnDhyE8pmIP/XfZ0oC7NznHOXI5Oj+cBJ1PM71/nFe xM1QorEFM7P7CHXC80m224Y/ZlVA+5uQUzuOiBf6ZBrp8zhMh51fSJfp1 y02EBIk0wopGQx3iEISPov+X2hSgIh1MFhQHOS296KHDAwBiyLhXOYkXJ l6wnfQ7ufpddnNB6A3jqXWNBzmig9CHPZ8N1rET1MNUMKq3TstKrsFr5m OaXrMftfVQcLJW5pjcFDnuvjkGq3YIMNt6FaukeghCH0XFxF25cIB01ra w==;
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=UofUtah.onmicrosoft.com; s=selector2-UofUtah-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Vc2Ga9nnWKWb8jMcujVCgmaF+SL803pnWWRWFE300Jc=; b=TTaUgaILYhOQ4AgtNUy8UGUyik32K1fl3ArGIjHxrZsJa05fENqF/Q2WN7NdLhc7u5FODflqJYvSwRnllZzcuVdJudCTH9YOKAOe43BIzOZ/4AryRN8yP0zuqCyCROgZswstTGzfDNfMPcAGv80C+i1X+BBvdFGU8O+NQeWKUZY=
- In-reply-to: <965283931.1708107.1739133323215.JavaMail.zimbra@univ-grenoble-alpes.fr> (DAVID MONNIAUX's message of "Sun, 9 Feb 2025 21:35:23 +0100 (CET)")
- List-archive: </listarchives/creduce-bugs>
- List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
- List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
- List-post: <mailto:creduce-bugs@flux.utah.edu>
- List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
- List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
- References: <965283931.1708107.1739133323215.JavaMail.zimbra@univ-grenoble-alpes.fr>
- User-agent: Gnus/5.13 (Gnus v5.13)
David Monniaux <david.monniaux@univ-grenoble-alpes.fr> writes:
> Thank you again for making creduce available, which has been a great help in
> the Chamois project.
Thank you for letting us know!
> I've encountered a bug, and creduce suggested that I mail some tarball to
> you, so I do it. ;)
Thank you for your bug report!
This is just a quick reply to say that we received your report, and to tell you
that I've whitelisted your email address for the creduce-bugs mailing list.
This means that any future bug reports from you will not need to be moderated.
Thanks again ---
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu> . University of Utah Kahlert School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA