|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/python_adjust.h>#include <clang-c-frontend/padding.h>#include <util/lang/c_typecast.h>#include <irep2/irep2_utils.h>#include <util/lang/c_types.h>#include <util/message/message.h>#include <util/irep/migrate.h>#include <util/base/prefix.h>#include <util/irep/pad_names.h>#include <vector>Functions | |
| static expr2tc | promote_to_ieee (const expr2tc &expr) |