GNU bug report logs - #68296
[PATCH] gnu: Add KLEE.

Previous Next

Package: guix-patches;

Reported by: soeren <at> soeren-tempel.net

Date: Sat, 6 Jan 2024 20:50:01 UTC

Severity: normal

Tags: patch

Done: Sören Tempel <soeren <at> soeren-tempel.net>

Bug is archived. No further changes may be made.

Full log

Message #46 received at 68296-done <at> debbugs.gnu.org (full text, mbox):

From: Sören Tempel <soeren <at> soeren-tempel.net>
To: 68296-done <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: Add KLEE.
Date: Mon, 13 Jan 2025 18:52:06 +0100

Hi,

klee has been added in fe7c898750e3fdad586ab3929c67b4b4643ffece,
klee-uclibc has been added as well in a follow-up commit, namely
3bdaa223b363b6986baa4bfa11f629f6ba974bba.

Hence, this can be closed.
This bug report was last modified 221 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.