about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2014-01-20Give absolute paths to KLEE's tools in lit.cfg . This fixes a longDan Liew
2014-01-20Only run SELinux test if support for SELinux was detected at configureDan Liew
2014-01-20Added Runtime/POSIX/lit.local.cfg file that prevents the POSIXDan Liew
2014-01-20Fixed tests where llvm-gcc was called without the -emit-llvm flag.Dan Liew
2014-01-20Add lit.local.cfg file for test/Concrete so no tests are executedDan Liew
2014-01-20* Do not ignore lit.local.cfg files needed for llvm-litDan Liew
2014-01-20Removed all of llvm-lit's dependence on DejaGNU. A few thingsDan Liew
2014-01-20Fixed Feature/InAndOutOfBounds.c so it did not make use of ! whichDan Liew
2014-01-20Force python2 to be used when running llvm-lit. This needs to be fixedDan Liew
2014-01-20Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variableDan Liew
2014-01-20Fixed Feature/LongDouble.cpp test for llvm-lit by removed use ofDan Liew
2014-01-20Fixed many tests that make use of the file tool to checkDan Liew
2014-01-20Allow llvm-lit from 2.9 to work by hacking %T substitution variable.Dan Liew
2014-01-20Put llvm tools directory at beginning of PATH list so that the LLVMDan Liew
2014-01-20Add LLVM tool directory to PATH when running tests with llvm-lit.Dan Liew
2014-01-20Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.Dan Liew
2014-01-20Fixed Expr/Parser/MultiByteReads.pc test.Dan Liew
2014-01-20Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probablyDan Liew
2014-01-20Removed use of deprecated Tcl parser for tests. This allowsDan Liew
2014-01-17Merge pull request #94 from MartinNowack/fix_assert_library_linkingDan Liew
2014-01-17Fix error message for failing linking of librariesMartin Nowack
2014-01-17Make KLEE fail in case main function is missingMartin Nowack
2014-01-12Merge pull request #68 from MartinNowack/feature_kleeInternalFunctionsDan Liew
2014-01-10Merge pull request #86 from msoos/masterDan Liew
2014-01-10Fixing missing include from get_sign.cMate Soos
2014-01-09Fixed race condition in parallel build where a symbolic linkDan Liew
2014-01-09Fix build system so that ktest-tool and klee-stats can be installedDan Liew
2013-12-22Merge pull request #78 from delcypher/fix_klee_installCristian Cadar
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
2013-12-21The location of KLEE's runtime libraries (apart from klee-uclibc)Dan Liew
2013-12-21Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"Dan Liew
2013-12-21Do not install KLEE's header files. They are not for publicDan Liew
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-12-21Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450Dan Liew
2013-12-20Merge pull request #81 from delcypher/fix_unittest_llvm33_clangCristian Cadar
2013-12-20Fix compilation of unittests under Clang.Dan Liew
2013-12-19Added a few comments to Executor::getLastNonKleeInternalInstruction()Dan Liew
2013-12-19When writing stack traces for bugs write the location in the assembly.llDan Liew
2013-12-19If error location information is missing be explicit about it. ThisDan Liew
2013-12-19Only record debug info into InstructionInfoTable if debug informationDan Liew
2013-12-19Remove old algorithm for acquiring debug info. Since LLVM 2.7,Dan Liew
2013-12-19Optimize inlineChecks functionMartin Nowack
2013-12-19Replicate debug information from checked instructions to checker call.Martin Nowack
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-19Simplify acquisition of debug informtion for instruction info with newer LLVM...Martin Nowack
2013-12-19Merge pull request #76 from srg-imperial/masterDan Liew
2013-12-19Merge pull request #79 from delcypher/fix_llvm33_single_testDan Liew
2013-12-19Re-add support for running individual tests when built with LLVM3.3Dan Liew
2013-12-19Merge pull request #80 from MartinNowack/fix_multiple_buildmodesDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 23:02:49 +0000