diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-13 18:30:12 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-01-20 14:46:52 +0000 |
| commit | 8a460a94c6a442e22187e8b5b3560bed34460f4b (patch) | |
| tree | e8f8684388fdee7b3b969667f4016f3d5b434628 /test/Runtime | |
| parent | aa9d6e30f6581f8b1a803e1e459a2ef3f3dbb697 (diff) | |
| download | klee-8a460a94c6a442e22187e8b5b3560bed34460f4b.tar.gz | |
Remove the last remnants (I think) of DejaGNU. Goodbye!
Say hello to our new friend, llvm-lit :)
Diffstat (limited to 'test/Runtime')
| -rw-r--r-- | test/Runtime/POSIX/dg.exp | 5 | ||||
| -rw-r--r-- | test/Runtime/Uclibc/dg.exp | 5 |
2 files changed, 0 insertions, 10 deletions
diff --git a/test/Runtime/POSIX/dg.exp b/test/Runtime/POSIX/dg.exp deleted file mode 100644 index 88406208..00000000 --- a/test/Runtime/POSIX/dg.exp +++ /dev/null @@ -1,5 +0,0 @@ -load_lib llvm.exp - -if { [klee_supports_posix_runtime] } { - RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] -} diff --git a/test/Runtime/Uclibc/dg.exp b/test/Runtime/Uclibc/dg.exp deleted file mode 100644 index 9c1663c3..00000000 --- a/test/Runtime/Uclibc/dg.exp +++ /dev/null @@ -1,5 +0,0 @@ -load_lib llvm.exp - -if { [klee_supports_uclibc] } { - RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] -} |