Architecture

Project structure

The project is structured in folders as follows:

• .github contains files used by the repository itself and Github Actions workflows.
• python contains all bindings for Python.
• regression contains Proof Harness to validate ESBMC tool.
• scripts contains all helper tools, configurations and modules that aren’t used directly by ESBMC.
• src Source code of ESBMC.
• unit Unit test cases.

Source structure

WlP