|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/type/element_type_registry.h>#include <python-frontend/type/type_handler.h>#include <util/lang/c_types.h>#include <algorithm>#include <functional>#include <stdexcept>