diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-07-29 16:16:09 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-24 14:15:25 +0300 |
| commit | 5bca619d7c11273e9492fa01fc7492e2cbb4eff5 (patch) | |
| tree | 5640badf0e891e2175b5ebb5324a34e1cee6fe18 /lib/Module/KLEEIRMetaData.h | |
| parent | e70783b86bf3427bccd3d0b8cec858b888b8c887 (diff) | |
| download | klee-5bca619d7c11273e9492fa01fc7492e2cbb4eff5.tar.gz | |
DivCheck do not instrument multiple times
DivChecker can be executed multiple times due to the new linking process. Avoid instrumenting div instructions multiple times by annotating checked instructions with marker. Only unmarked div instructions will be instrumented.
Diffstat (limited to 'lib/Module/KLEEIRMetaData.h')
0 files changed, 0 insertions, 0 deletions