Package Details: klee 2.2-10

Git Clone URL: (read-only, click to copy)
Package Base: klee
Description: Symbolic virtual machine built on top of the LLVM compiler infrastructure
Upstream URL:
Licenses: custom:UIUC
Provides: klee=2.2
Submitter: krafczyk.n
Maintainer: krafczyk.n
Last Packager: krafczyk.n
Votes: 6
Popularity: 0.051859
First Submitted: 2018-03-06 15:02
Last Updated: 2021-01-13 16:54

Latest Comments

1 2 Next › Last »

kyechou commented on 2020-12-27 04:29

Hi @krafczyk.n, the provides= primitive is missed for the update. Thanks!

krafczyk.n commented on 2020-08-21 11:39

Thank you very much! I incorporated your change. You are now mentioned as a contributor.

r7v commented on 2020-08-21 09:20

googletest from master fails to configure with errors.

CMake Error at CMakeLists.txt:129 (set_target_properties):
  set_target_properties called with incorrect number of arguments.

CMake Error at CMakeLists.txt:131 (set_target_properties):
  set_target_properties called with incorrect number of arguments.

I made a change to PKGCONFIG to use stable tag for google test


krafczyk.n commented on 2020-04-15 12:55

You're absolutely correct, thank you! That's fixed now.

Furthermore, I modified the build to honor the MAKEFLAGS variable which can be passed from /etc/makepkg.conf The number of build threads to be used now has to be configured using that variable.

snowball commented on 2020-04-12 05:04

Tests require python-tabulate to be installed:

Error: Package "tabulate" required for table formatting. Please install it using "pip" or your package manager.You can still use --grafana and --to-csv without tabulate.

werew commented on 2019-12-08 01:48

Thank you for this fix :) I confirm it now compiles without errors also on my system.

krafczyk.n commented on 2019-12-08 01:21

Builds now.

Usually I try to refrain from using other upstream sources than releases but there is no release of klee containing the fixes to these issues. Instead, I used their most recent commit and will keep this until either a new version of klee is released, further problems arise or a different, more reasonable commit is requested.

krafczyk.n commented on 2019-12-07 21:06

I was able to reproduce the behaviour. I'm working on it.

werew commented on 2019-12-07 19:41

Thank you for this package. Unfortunately looks like it is not compiling for me.

LLVMCC (Debug+Asserts) /home/werew/.cache/yay/klee/src/klee/runtime/POSIX/fd_64.c
/home/werew/.cache/yay/klee/src/klee/runtime/POSIX/fd_64.c:110:5: error: conflicting types for 'getdents64'
int getdents64(unsigned int fd, struct dirent *dirp, unsigned int count) {
/usr/include/bits/dirent_ext.h:29:18: note: previous declaration is here
extern __ssize_t getdents64 (int __fd, void *__buffer, size_t __length)
1 error generated.
make[4]: *** [..//Makefile.cmake.bitcode.rules:118: /home/werew/.cache/yay/klee/src/build/runtime/runtime_build_Debug+Asserts/POSIX/fd_64.bc] Error 1
make[4]: Leaving directory '/home/werew/.cache/yay/klee/src/build/runtime/POSIX'
make[3]: *** [Makefile.cmake.bitcode.rules:59: all] Error 1
make[3]: Leaving directory '/home/werew/.cache/yay/klee/src/build/runtime'
make[2]: *** [runtime/CMakeFiles/BuildKLEERuntimes.dir/build.make:118: runtime/BuildKLEERuntimes-prefix/src/BuildKLEERuntimes-stamp/BuildKLEERuntimes-RuntimeBuild] Error 2
make[1]: *** [CMakeFiles/Makefile2:924: runtime/CMakeFiles/BuildKLEERuntimes.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
[ 28%] Linking CXX static library ../libkleaverExpr.a
[ 28%] Built target kleaverExpr
[ 29%] Linking CXX static library ../libkleeSupport.a
[ 29%] Built target kleeSupport
[ 30%] Linking CXX static library ../../lib/libgtest.a
[ 30%] Built target gtest
make: *** [Makefile:130: all] Error 2
==> ERROR: A failure occurred in build().

krafczyk.n commented on 2019-03-27 08:44

You are correct, it is missing, sorry! Fixed that now.