search

GaloisInc / hacrypto

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

Create option for test generation code to create output files #52

Closed jldodds closed 10 years ago

jldodds commented 10 years ago

8fc38ff5279571697c29486435bcbe704c4f0857 now generates req files if an output function is given