diff options
| author | Sören Tempel <soeren@soeren-tempel.net> | 2024-07-27 11:10:55 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-07-27 17:53:02 +0200 |
| commit | 187b6df6f1d0dd54574f42167e64135c2bd586d3 (patch) | |
| tree | e8ab8bdd0550366e67c3819464ba027e8ce5dfb6 /gnu/tests | |
| parent | 661d5eeb8e1eed7b564b62d6b8d104d013e8860b (diff) | |
| download | guix-187b6df6f1d0dd54574f42167e64135c2bd586d3.tar.gz guix-187b6df6f1d0dd54574f42167e64135c2bd586d3.zip | |
gnu: klee: Enable the test suite.
* gnu/packages/check.scm (klee): Enable all tests.
[arguments]: Patch lit configuration and set #:test-target.
<#:configure-flags?>: Enable system and unit tests, configure gtest.
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
Diffstat (limited to 'gnu/tests')
0 files changed, 0 insertions, 0 deletions