diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-08-01 20:54:04 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-08-01 20:54:04 +0000 |
| commit | 6f0cb81817233f5911b5b350fafd227d5af3963a (patch) | |
| tree | c951a6f7259dc53adecacd06e81a214b687b5d11 /lib/Core/CoreStats.h | |
| parent | 850b4c6957b9273f61aeaa7bcdbb24a83ef2d382 (diff) | |
| download | klee-6f0cb81817233f5911b5b350fafd227d5af3963a.tar.gz | |
When generating external function stubs, access the arguments in terms of the
function type, not the argument types. This accomodates for a conversion which is done in Executor.cpp. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77801 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/CoreStats.h')
0 files changed, 0 insertions, 0 deletions