Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-05-25 | Patch by Paul Marinescu that makes KLEE gracefully fail on assembly code. | Cristian Cadar | |
Includes test case. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@157463 91177308-0d34-0410-b5e6-96231b3b80d8 |