diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-10-01 23:14:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-01 23:14:25 +0200 |
| commit | 53d4e2c9c2d379db8749ec6b8c8b6dfb2db4ba37 (patch) | |
| tree | d1cb8cfd7d63d4bb317a72660c77c2dab5e9cffd /lib/Expr/ExprUtil.cpp | |
| parent | 96b77a4a211745cdee375b38ce4313dfc70efe8f (diff) | |
| parent | 35a12d67e9835bab856a51a77497db0d09b948e6 (diff) | |
| download | klee-53d4e2c9c2d379db8749ec6b8c8b6dfb2db4ba37.tar.gz | |
Merge pull request #426 from hoangmle/metaSMT_remove_ITE_chain_for_shift
remove mimic_stp option and the associated ITE chain construction for variable shift operations
Diffstat (limited to 'lib/Expr/ExprUtil.cpp')
0 files changed, 0 insertions, 0 deletions