x509-parser
x509-parser copied to clipboard
Travis-CI: build && verification reprove
CI for the project. Tests the build with gcc, clang. Checks for RTE with Frama-C.
After the merge the link (badge) in the README.md should be updated, Travis-CI account should be created.
Example run: https://travis-ci.org/evdenis/x509-parser/builds/545919641