|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/base/compiler_defs.h>#include <clang/AST/Expr.h>#include <clang-c-frontend/clang_c_convert.h>#include <util/arith/arith_tools.h>#include <util/arith/bitvector.h>#include <util/lang/c_types.h>#include <util/expr/expr_util.h>#include <util/arith/ieee_float.h>#include <util/expr/string_constant.h>Functions | |
| static void | parse_float (llvm::SmallVectorImpl< char > &src, BigInt &significand, BigInt &exponent) |