Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ getReturnedInput
Method
getReturnedInput
ir/function.h:180–180 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
178
return inputs;
179
}
180
Value *getReturnedInput() const { return returned_input; }
181
void setReturnedInput(Value *v) { returned_input = v; }
182
183
bool hasReturn() const;
Callers
3
finishInitializer
Method · 0.80
toSMT
Method · 0.80
run
Method · 0.80
Calls
no outgoing calls
Tested by
no test coverage detected