/D100043
On Wed, Jan 5, 2022 at 9:44 AM Julian Büning
wrote:
Hi Morgan,
nice to see your packaging efforts for KLEE!
I recently ran into some issues with more recent versions of Google Test
when building KLEE (and running unit tests). I just opened a PR that
addresses these: https://github.com
Hi Morgan,
nice to see your packaging efforts for KLEE!
I recently ran into some issues with more recent versions of Google Test
when building KLEE (and running unit tests). I just opened a PR that
addresses these: https://github.com/klee/klee/pull/1458
Among these issues is one that I