MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / reset_state

Function reset_state

llvm_util/utils.cpp:517–521  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

515}
516
517void reset_state() {
518 value_cache.clear();
519 value_names.clear();
520 value_id_counter = 0;
521}
522
523void reset_state(Function &f) {
524 current_fn = &f;

Callers 2

~llvm2alive_Method · 0.85
runMethod · 0.85

Calls 1

clearMethod · 0.45

Tested by

no test coverage detected