globals.h File Reference

#include <string>

Include dependency graph for globals.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	register_bundled_files ()
	Registers every file bundled into the binary with file_operations.
std::string	esbmc_build_id ()
	The build ID linked into this binary: the commit it was built from, whether that tree was dirty, and who built it.

Function Documentation

esbmc_build_id()

std::string esbmc_build_id

(

)

The build ID linked into this binary: the commit it was built from, whether that tree was dirty, and who built it.

Written on every build by scripts/buildidobj.py.

register_bundled_files()

void register_bundled_files

(

)

Registers every file bundled into the binary with file_operations.

Must run before anything reads a bundled path.