about summary refs log tree commit diff homepage
path: root/test/regression/2012-05-13-asm-causes-aborts.c
AgeCommit message (Collapse)Author
2012-05-25Patch 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