Skip to content
Commit 7ff153c9 authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. 

llvm-svn: 57658
parent 3ad391d8
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment