cprover
analyses/README.md
Go to the documentation of this file.
1
\ingroup module_hidden
2
\defgroup analyses analyses
3
4
# Folder analyses
5
6
This contains the abstract interpretation framework `ai.h` and several
7
static analyses that instantiate it.
8
9
FIXME: put here a good introduction describing what is contained
10
in this folder.
README.md
Generated by
1.8.14