diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-20 11:54:24 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-10-23 09:59:39 +0200 |
| commit | 4f9fc95501bebe08ba8977582c055c9068c2c08f (patch) | |
| tree | 4a2eb9b5697c2369dfedeb8526279c868ba97be9 /executor | |
| parent | a3789f831f64b39c12338741cd8c5c2b34015e5f (diff) | |
prog: fix bugs in hints generation
Add a random hints test and fix bugs it uncovers.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions