f364bf2b8d
- Update to version 1.4.0+20180920: * Removed unused file * Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the test to use FileCheck instead of grep * Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic and removed unused arguments to main. * Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic. * Silence an uninitialized variable compiler warning (and a tiny formatting change) * travis: enable LLVM 4 testing * llvm4: gep_type_iterator has no operator* * llvm4: PointerType is not SequentialType * llvm4: use chrono helpers from LLVM * llvm4: errorOr and similar * llvm4: APFloat members are functions * llvm4: handle different header names * travis CI: add LLVM 3.9 build tests * llvm39: switch KLEE_RUNTIME_BUILD_TYPE to Debug+Asserts * cmake: find_llvm, fix libraries with llvm-config 3.9 * llvm: make KLEE compile against LLVM 3.9 * Add testcase to run POSIX environment and main without arguments * Add POSIX runtime as dependency for the test case * Unify the error message if that function has not been found. * Fix generation of global constructors and destructors * POSIX: Add invocation of klee_init_env into wrapper before calling main * Fix missing includes and declarations * Use FileCheck and LINE instead of grep if possible * llvm36.patch: fix build for newer glibc/gcc versions * runtime: fix memory error in canonicalize_file_name * Build on trusty without sudo - uses faster Docker infrastructure from TravisCI * Avoid Vararg non-deterministic allocation - removed (in upstream): * 0001-llvm-make-KLEE-compile-against-LLVM-3.9.patch OBS-URL: https://build.opensuse.org/request/show/637042 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=12