Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
36
void Errors::addWarning(const char *str) {
37
warnings.emplace(str);
38
}
39
40
void Errors::clear() {
41
errs.clear();
Callers
1
check_refinement
Function · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected