TLS/DTLS Tester - Githubissues

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*

https://www.mitls.org

Other

173 stars 16 forks source link

TLS/DTLS Tester #214

Open CarolineMathieson opened 6 years ago

CarolineMathieson commented 6 years ago

This tester is a visual studio 2017 project to produce a basic prototype windows command line CI tester that can measure the performance and interoperability of the mitls and mipki dlls to detect regressions. Only the source files have been checked in to the repository and there are some package dependencies which must be resolved by the user before a build can complete.

msftclas commented 6 years ago

All CLA requirements met.