cprover
|
#include "lift_clinit_calls.h"
#include <java_bytecode/java_static_initializers.h>
#include <util/expr_iterator.h>
#include <algorithm>
Go to the source code of this file.
Functions | |
codet | lift_clinit_calls (codet input) |
file Static initializer call lifting More... | |
file Static initializer call lifting
Definition at line 19 of file lift_clinit_calls.cpp.