diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-03-06 11:12:41 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-03-15 18:52:07 +0000 |
| commit | 8b5188e4237aa172a9c2b3e3efca9fe7a091cf70 (patch) | |
| tree | ce315907eee30bbdb3f44b9f3e18dc18662dc810 /test/Dogfood | |
| parent | f58a88d204202f5cea366bba63fb982a03c65149 (diff) | |
| download | klee-8b5188e4237aa172a9c2b3e3efca9fe7a091cf70.tar.gz | |
Fix test case for OSX: only weak aliases are supported on darwin
Rewritten tests by replacing 'XFAIL: darwin' with 'REQUIRES: not-darwin'
Diffstat (limited to 'test/Dogfood')
0 files changed, 0 insertions, 0 deletions