cprover
linking

Folder linking

Author
Martin Brain

This allows multiple ‘object files’ (goto-programs) to be linked into one ‘executable’ (another goto-program), thus allowing existing build systems to be used to build complete goto-program binaries.