diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-02-19 14:07:33 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-02-19 14:07:33 +0000 |
| commit | 3bd3789c2009fc9976d6b2ab5d0cb716c3d35dc3 (patch) | |
| tree | 14bb940166ea20123a6332f6253d4bdbdb0f2328 /lib/Module/IntrinsicCleaner.cpp | |
| parent | 92c21e2d581bd7405032eaf67544611ccd30ab4e (diff) | |
| download | klee-3bd3789c2009fc9976d6b2ab5d0cb716c3d35dc3.tar.gz | |
Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function rather
than writing "(not (= a b))". This makes the code simpler and queries slightly simpler.
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
0 files changed, 0 insertions, 0 deletions