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

Method addWarning

util/errors.cpp:36–38  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

34}
35
36void Errors::addWarning(const char *str) {
37 warnings.emplace(str);
38}
39
40void Errors::clear() {
41 errs.clear();

Callers 1

check_refinementFunction · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected