GaloisInc / hacrypto

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

Fix RNG .rsp file problem #93

Closed jldodds closed 9 years ago

jldodds commented 9 years ago

@dmzimmerman noticed that the outputs in rsp files aren't matching the inputs