diff options
| author | David Goldblatt <davidgoldblatt@fb.com> | 2017-05-31 09:43:43 -0700 |
|---|---|---|
| committer | David Goldblatt <davidtgoldblatt@gmail.com> | 2017-05-31 17:02:54 -0700 |
| commit | fa35463d56be52a3a6e6b513fbb6cc6e63d9bcc7 (patch) | |
| tree | 4890ad5e5d99a064c60c5d2aa9b0195ca1b4aa65 /scripts/gen_run_tests.py | |
| parent | 508f54b02bd08ac0d250df1fa15cf87d574ce8a1 (diff) | |
Witness assertions: only assert locklessness when non-reentrant.
Previously we could still hit these assertions down error paths or in the
extended API.
Diffstat (limited to 'scripts/gen_run_tests.py')
0 files changed, 0 insertions, 0 deletions