about summary refs log tree commit diff homepage
path: root/test/Expr
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2009-07-10 22:10:54 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2009-07-10 22:10:54 +0000
commit6c7d0d1db055bfca93b962de1cd2eaa5f1d3c8dd (patch)
treeaa73c2bf3ca3bffdd7ff2a3e681b919de7e9b246 /test/Expr
parent3951254da613913829b2419b05cb7c3758570e98 (diff)
downloadklee-6c7d0d1db055bfca93b962de1cd2eaa5f1d3c8dd.tar.gz
Added support for not, zero_extend, and sign_extend to the SMTLIB parser.
Added support for n-ary and, or and xor.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75299 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Expr')
0 files changed, 0 insertions, 0 deletions