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/Feature | |
| 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/Feature')
| -rw-r--r-- | test/Feature/dg.exp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/test/Feature/dg.exp b/test/Feature/dg.exp deleted file mode 100644 index 879685ca..00000000 --- a/test/Feature/dg.exp +++ /dev/null @@ -1,3 +0,0 @@ -load_lib llvm.exp - -RunLLVMTests [lsort [glob -nocomplain $srcdir/$subdir/*.{ll,llx,c,cpp,tr}]] |