diff options
Diffstat (limited to 'gnu/packages/check.scm')
| -rw-r--r-- | gnu/packages/check.scm | 36 |
1 files changed, 34 insertions, 2 deletions
diff --git a/gnu/packages/check.scm b/gnu/packages/check.scm index fafa5d3f33..550a5d0f1d 100644 --- a/gnu/packages/check.scm +++ b/gnu/packages/check.scm @@ -75,6 +75,7 @@ #:use-module (gnu packages bash) #:use-module (gnu packages cmake) #:use-module (gnu packages compression) + #:use-module (gnu packages cpp) #:use-module (gnu packages linux) #:use-module (gnu packages llvm) #:use-module (gnu packages glib) @@ -85,6 +86,7 @@ #:use-module (gnu packages gtk) #:use-module (gnu packages guile) #:use-module (gnu packages guile-xyz) + #:use-module (gnu packages maths) #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) @@ -93,6 +95,7 @@ #:use-module (gnu packages python-web) #:use-module (gnu packages python-xyz) #:use-module (gnu packages python-science) + #:use-module (gnu packages sqlite) #:use-module (gnu packages texinfo) #:use-module (gnu packages time) #:use-module (gnu packages xml) @@ -986,6 +989,35 @@ macros for defining tests, grouping them into suites, and providing a test runner. It is quite unopinionated with most of its features being optional.") (license license:isc))) +(define-public klee + (package + (name "klee") + (version "3.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/klee/klee") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1nma6dqi8chjb97llsa8mzyskgsg4dx56lm8j514j5wmr8vkafz6")))) + (arguments + (list + #:configure-flags + #~(list (string-append "-DLLVMCC=" + (search-input-file %build-inputs "/bin/clang")) + (string-append "-DLLVMCXX=" + (search-input-file %build-inputs "/bin/clang++"))))) + (native-inputs (list clang-13 llvm-13 python-lit)) + (inputs (list gperftools sqlite z3)) + (build-system cmake-build-system) + (home-page "https://klee-se.org/") + (synopsis "Symbolic execution engine") + (description "KLEE is a symbolic virtual machine built on top of the LLVM +compiler infrastructure.") + (license license:bsd-3))) + (define-public cpputest (package (name "cpputest") @@ -1031,8 +1063,8 @@ but it works for any C/C++ project.") go-github-com-mattn-go-colorable go-github-com-mattn-go-runewidth go-github-com-robfig-cron - go-golang.org-x-sync-errgroup - go-golang.org-x-sync-semaphore + go-golang-org-x-sync + go-golang-org-x-sync go-gopkg-in-yaml-v3)) (native-inputs (list go-github-com-google-go-cmp-cmp)) (home-page "https://rhysd.github.io/actionlint/") |