diff options
| author | Camil Staps | 2017-11-22 18:13:15 +0100 |
|---|---|---|
| committer | Camil Staps | 2017-11-22 18:13:15 +0100 |
| commit | afed2861e17f8d9bbcf1187d8a487e71d3552e0a (patch) | |
| tree | 4e271ddb6822497d033f8054a2f5f75750bd8421 /src | |
| parent | Pluralise triviality reports (diff) | |
Fix random seed & do not shrink for reproducibility
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions