diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-11-07 12:17:33 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 18:07:31 +0000 |
| commit | 207d3aff50cc4bed2adf12819a96fc4254a3d6e6 (patch) | |
| tree | 802f1d4dcaf78521ec9532546cd32c433d921ff0 /lib/Solver/STPBuilder.cpp | |
| parent | ed963d407e5de9b09191324f5e277ea40e1aea0b (diff) | |
| download | klee-207d3aff50cc4bed2adf12819a96fc4254a3d6e6.tar.gz | |
Added C test case that checks that concrete and symbolic overshift
behaviour for left shift are identical.
Diffstat (limited to 'lib/Solver/STPBuilder.cpp')
0 files changed, 0 insertions, 0 deletions