diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-02-19 11:05:57 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-02-19 11:05:57 +0000 |
| commit | 01ab81773356f992997878edb9e7968bd7c61ee3 (patch) | |
| tree | 5893aac5493fc362718511df79e6cf9c3397831c /test/Makefile.tests | |
| parent | 7992e65722423c7a6fb70591155a48cdbda6c262 (diff) | |
| download | klee-01ab81773356f992997878edb9e7968bd7c61ee3.tar.gz | |
Fixed the problem of 'make check' failing on XFAILs. Based on patch
by Peter Collingbourne. We grep twice because we still want to print the XFAILs at the end of the regression run. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96671 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Makefile.tests')
0 files changed, 0 insertions, 0 deletions