README.md

This project aims to verify the mbedtls library using the Seahorn BMC engine and the SeaMock mocking framework.

HOWTO build and test the project

Replicate instructions in docker/verify-mbedtls.dockerfile

HOWTO add a verification job

scripts/add-job <component> <job> <SUT>