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.