diff options
| author | ahorn <alex.horn@cs.ox.ac.uk> | 2014-05-12 15:13:56 +0100 |
|---|---|---|
| committer | ahorn <alex.horn@cs.ox.ac.uk> | 2014-05-12 15:13:56 +0100 |
| commit | 4046c8e7cbd5b9db8562344c21c15c3db6248e7d (patch) | |
| tree | 39745a067fd1170972f6da44422e1affe37218be /lib/Module/IntrinsicCleaner.cpp | |
| parent | d10513097420196493b4a408c6cf75cbd53b8351 (diff) | |
| download | klee-4046c8e7cbd5b9db8562344c21c15c3db6248e7d.tar.gz | |
Add SimplifyExpressions command line option
Allow users to bypass ConstraintManager::simplifyExpr(ref<Expr>).
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
0 files changed, 0 insertions, 0 deletions