cprover
goto-analyzer/README.md
Go to the documentation of this file.
1
\ingroup module_hidden
2
\defgroup goto-analyzer goto-analyzer
3
4
# Folder goto-analyzer
5
6
`goto-analyzer/` is a tool performing static analyses on goto
7
programs. It provides the front end for many of the static analyses
8
in the \ref analyses directory.
README.md
Generated by
1.8.14