|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/converter/converter_internal.h>#include <python-frontend/json_utils.h>#include <python-frontend/python_converter.h>#include <algorithm>#include <map>#include <optional>#include <set>#include <string>