docs/api/globals_8h_source.html

#pragma once


#include <string>


void register_bundled_files();


std::string esbmc_build_id();

register_bundled_files
void register_bundled_files()
Registers every file bundled into the binary with file_operations.
Definition globals.cpp:19

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,...
Definition globals.cpp:14