search

GaloisInc / hacrypto

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

write pairwise validation harness #27

Open kiniry opened 10 years ago

kiniry commented 10 years ago

Note that this harness needs to not only drive two library calls, but also two executables or Cryptol interpreter vs. concrete implementation.