ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_annotation_intrinsics Namespace Reference

Functions

const std::map< std::string, std::string > & builtin_functions ()

Function Documentation

◆ builtin_functions()

const std::map< std::string, std::string > & python_annotation_intrinsics::builtin_functions ( )