Allow test generation for Java libraries

GaloisInc / hacrypto

Experiments in high-assurance crypto.

BSD 3-Clause "New" or "Revised" License

46 stars 14 forks source link

Open jldodds opened 9 years ago

jldodds commented 9 years ago

For now we will generate tests using Bouncy Castle and make sure they are all run on at least OpenSSL

jldodds commented 9 years ago

This might be done by allowing the OpenSSL harness to call the Java wrappers using JNI