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

Method clear

util/errors.cpp:40–43  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

38}
39
40void Errors::clear() {
41 errs.clear();
42 warnings.clear();
43}
44
45bool Errors::isUnsound() const {
46 for (auto &[msg, unsound] : errs) {

Callers 15

clear_smtMethod · 0.45
state.cppFile · 0.45
cleanupMethod · 0.45
cleanupPredecessorDataMethod · 0.45
startBBMethod · 0.45
addReturnMethod · 0.45
addNoReturnMethod · 0.45
resetUndefVarsMethod · 0.45
storeMethod · 0.45
storeLambdaMethod · 0.45
setStateMethod · 0.45
copyMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected