ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
jimple_file.cpp File Reference
#include <map>
#include <fstream>
#include <jimple-frontend/AST/jimple_file.h>
#include <util/irep/std_code.h>
#include <util/expr/expr_util.h>
Include dependency graph for jimple_file.cpp:

Functions

void to_json (json &, const jimple_ast &)
void from_json (const json &j, jimple_ast &p)

Function Documentation

◆ from_json()

void from_json ( const json & j,
jimple_ast & p )

◆ to_json()

void to_json ( json & ,
const jimple_ast &  )