|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <map>#include <string>Go to the source code of this file.
Namespaces | |
| namespace | python_annotation_intrinsics |
Functions | |
| const std::map< std::string, std::string > & | python_annotation_intrinsics::builtin_functions () |