diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-02-06 12:10:05 +0000 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-02-14 13:10:13 +0000 |
| commit | 44b24dac6a05ccde0e01b54fd2b787a31e5d8811 (patch) | |
| tree | b776e909c66f2008e0c223f8aab911903ad3315a /lib | |
| parent | daf4eef5c3b99cdbc894f6bee40b4d047c5e6553 (diff) | |
| download | klee-44b24dac6a05ccde0e01b54fd2b787a31e5d8811.tar.gz | |
Added unit tests for ReadExpr::create() to check that constant folding is correctly applied
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions