diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-28 13:18:52 +0200 |
|---|---|---|
| committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-28 13:18:52 +0200 |
| commit | 5b893715d020165f69062273741b7db99eb47624 (patch) | |
| tree | 7346bcb2e04c40c2b95e7c608e743a890783de34 /runtime/klee-libc/__cxa_atexit.c | |
| parent | 4f4b930df0306fb57eecd06eea182115f01b94e5 (diff) | |
| download | klee-5b893715d020165f69062273741b7db99eb47624.tar.gz | |
add assertions to check the pre-condition of bvVar*Shift that both operands have the same bv width
Diffstat (limited to 'runtime/klee-libc/__cxa_atexit.c')
0 files changed, 0 insertions, 0 deletions