cprover
lift_clinit_calls.cpp File Reference
#include "lift_clinit_calls.h"
#include <java_bytecode/java_static_initializers.h>
#include <util/expr_iterator.h>
#include <algorithm>
+ Include dependency graph for lift_clinit_calls.cpp:

Go to the source code of this file.

Functions

codet lift_clinit_calls (codet input)
 file Static initializer call lifting More...
 

Function Documentation

◆ lift_clinit_calls()

codet lift_clinit_calls ( codet  input)

file Static initializer call lifting

Definition at line 19 of file lift_clinit_calls.cpp.