Fixed Runtime/POSIX/PrgName.c for llvm-lit (LLVM >= 3.0). This test
is now broken under DejaGNU.
Fixed Runtime/POSIX/SeedAndFail.c test for llvm-lit (LLVM >= 3.0).
This test is now broken under DejaGNU.
Fixed Solver/LargeIntegers.pc for llvm-lit. This test also passes under
DejaGNU.
Fixed regression/2007-10-11-free-of-alloca.c for llvm-lit (LLVM >= 3.0).
This test is now broken under DejaGNU.
Fixed regression/2007-10-11-illegal-access-after-free-and-branch.c for
llvm-lit (LLVM >= 3.0) and improved test by checking KLEE's output with
FileCheck. This test is now broken under DejaGNU.