cprover
linking/README.md
Go to the documentation of this file.
1
\ingroup module_hidden
2
\defgroup linking linking
3
4
# Folder linking
5
6
\author Martin Brain
7
8
This allows multiple ‘object
9
files’ (goto-programs) to be linked into one ‘executable’ (another
10
goto-program), thus allowing existing build systems to be used to build
11
complete goto-program binaries.
README.md
Generated by
1.8.14