diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2014-01-03 15:16:17 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2014-01-03 15:16:17 -0800 |
| commit | 8478d6aee54d6c52de16d8c58309534afbf5bf9e (patch) | |
| tree | bec73fd8e0cd6888d2dfb6b9e6a1423cc2432f61 /src/relooper/fuzzer.py | |
| parent | 1a007b1631509b9d72499a8f4402294017ee04dc (diff) | |
| parent | a8e26049c1a72fa6b19dac45fa2b44616f94241a (diff) | |
Merge branch 'incoming'
Diffstat (limited to 'src/relooper/fuzzer.py')
| -rw-r--r-- | src/relooper/fuzzer.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/relooper/fuzzer.py b/src/relooper/fuzzer.py index 50846d10..fa47583e 100644 --- a/src/relooper/fuzzer.py +++ b/src/relooper/fuzzer.py @@ -87,6 +87,12 @@ int main() { Relooper r; ''' + if random.random() < 0.1: + print 'emulate' + fast += ''' + r.SetEmulate(true); +''' + for i in range(num): fast += ''' r.AddBlock(b%d); ''' % i |