Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ getUndefs
Method
getUndefs
ir/function.h:168–170 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
166
167
void addUndef(std::unique_ptr<UndefValue> &&c);
168
util::const_strip_unique_ptr<decltype(undefs)> getUndefs() const {
169
return undefs;
170
}
171
172
void addAggregate(std::unique_ptr<AggregateValue> &&a);
173
Callers
1
sym_exec_init
Function · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected