[klee-dev] coreutils-6.11/lib/functions.txt

[Philip Guo]

how is that file generated?  is the intent that ALL functions defined in
coreutils-6.11/lib/ should be included in that file?  if so, i think we're
definitely missing some functions like __setvbuf_init() and others.  i would
like to update this if possible.  thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20081203/dbeac4b5/attachment.html