rgov added a comment.
Do you think you could upload the patch omitting all of the test case changes
for now? Maybe include one as an example but it seems to be just adding
`%z3_cc1` so we don't need to see all of them right now.
The KLEE project has a useful abstraction layer around multiple bi
rgov added a comment.
Are all the changes here related to the extension/truncation support, for
instance the changes to `test/Analysis/malloc.c`? Can you move misc. cleanup
changes to another review?
https://reviews.llvm.org/D28955
___
cfe-commits
