diff options
| author | Jack Koenig | 2016-08-01 15:58:15 -0700 |
|---|---|---|
| committer | Jack Koenig | 2016-08-01 15:58:15 -0700 |
| commit | 3a3ae041f99f4dd8d87cb76ca4dc8360ec474930 (patch) | |
| tree | 3210ed69f3dbd72e239fb7e7d825779ba3ea2e74 /src/test/resources/blackboxes/SimpleExtModule.v | |
| parent | 81f631bc87aa22fff8569e96ae5c4e429df9e1d4 (diff) | |
Fix StringSpec generators to only choose from valid values.
The old almost equivalent syntax gives the same result but can cause the
test to fail if too many invalid values are thrown away.
Diffstat (limited to 'src/test/resources/blackboxes/SimpleExtModule.v')
0 files changed, 0 insertions, 0 deletions