diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2021-12-01 17:53:13 +0000 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2021-12-10 12:30:07 +0100 |
| commit | 15439f1624735bde5ae3f3b66c1b964a980415b3 (patch) | |
| tree | 4e9aacba8e41b511f8fb8c60d09d5c4b1c98287d /executor/executor.cc | |
| parent | 18f846ca807cfc6df9c3da3c0ab08251277dfefb (diff) | |
all: add the `DoubleExecCollide` strategy
Add a strategy that resembles the previous collide mode, but detaches not
every other call, rather all calls during the second execution (or at least
as much as possible). Follow the strategy for 33% of all collide
executions.
It was shown during the experiments that this strategy has a positive
effect on the number of discovered crashes and bugs.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions