Subject: [bug#72106] [PATCH v2 2/5] gnu: klee: Enable the test suite.

From: Sören Tempel <[email-masked]>
Date: Thu, 25 Jul 2024 22:43:11 +0200

Ludovic Courtès <[email-masked]> wrote:
> Hello Sören,

Hi Ludo,

> … and leave ‘googletest’ out of ‘inputs’ entirely, keeping the concise
> input list without labels.  (I think we shouldn’t reintroduce input
> labels; the goal has always been to remove them.)
> 
> WDYT?

Thanks for this suggestion, this sounds very good to me!

I just send a v3 which implements this and also fixes the commit message
typo that Liliana pointed out. Let me know if there is anything else
that needs to be done :)

Best,
Sören