MCPcopy 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

finishInitializerMethod · 0.80
toSMTMethod · 0.80
runMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected