ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
nested_func_transform.h
Go to the documentation of this file.
1#pragma once
2
3#include <optional>
4#include <string>
6
17std::optional<file_operations::tmp_file>
18transform_nested_functions(const std::string &source_path);
std::optional< file_operations::tmp_file > transform_nested_functions(const std::string &source_path)
Transforms GCC nested function definitions in a C source file into standard C by lambda-lifting them ...
Definition nested_func_transform.cpp:2270