Este repositorio contiene una biblioteca que permite implementar Diseño por Contratos en C++, proponiendo precondiciones, postcondiciones e invariantes para la declaración de los componentes del software.
Además, se incluyen benchmarks para evaluar el rendimiento de la biblioteca bajo diferentes condiciones y escenarios.
Se recomienda el acceso a la documentación a través de una forma más interactiva en el sitio web
- Benchmarks: scripts que permiten ejecutar benchmarks y la salida de los mismos.
- Casos: casos implementados utilizando la biblioteca.
- contract-lib: archivo header y cpp de la biblioteca.
- docs: carpeta correspondiente a la documentación en doxygen y los archivos utilizados para generear el sitio web
Para utilizar la biblioteca simplemente clona este repositorio y realiza la inclusión del archivo de header contract-lib/contract.h.
Para ejecutar los benchmarks se recomienda leer la documentación específica presente en su carpeta Benchmarks/README.md