search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

Generate random tests as they are written instead of all at once #62

Open jldodds opened 9 years ago

jldodds commented 9 years ago

For large tests, the current method could take up too much memory