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

Method cleanupPredecessorData

ir/state.cpp:722–724  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

720}
721
722void State::cleanupPredecessorData() {
723 predecessor_data.clear();
724}
725
726void State::copyUBFrom(const BasicBlock &bb) {
727 if (config::disallow_ub_exploitation)

Callers 1

execFunction · 0.80

Calls 1

clearMethod · 0.45

Tested by

no test coverage detected