diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-10-14 20:05:01 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-10-30 12:22:52 +0000 |
| commit | 96f1a048c4860bca620172ce077201bbc02a6592 (patch) | |
| tree | 33a9d5a208ae89250b432bd05172ba073f2c7c53 /test/Feature/MultipleFreeResolution.c | |
| parent | 416f7818aedaf7b6bdd478692871cc46aa724f79 (diff) | |
| download | klee-96f1a048c4860bca620172ce077201bbc02a6592.tar.gz | |
Mark the StaticDestructor test as failing on macOS
Diffstat (limited to 'test/Feature/MultipleFreeResolution.c')
0 files changed, 0 insertions, 0 deletions