Hi Cristi, You are right, I doubt that the reasons for running out of fds are transient, so it is better to stop. I modified the patch. -------------- next part -------------- A non-text attachment was scrubbed... Name: failed_test_case.patch Type: application/octet-stream Size: 3889 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100725/b83cce4a/attachment.obj -------------- next part --------------
Cristi On Jul 16, 2010, at 8:19 PM, Cristian Cadar wrote: > > Hi Cristi, > > That's a good patch. I'm just wondering if there's really any benefit of > continuing execution once KLEE runs out of file descriptors. That is, we > could instead just call klee_error instead of klee_warning in openOutputFile. > > Best, > Cristian > > On 16/07/10 17:04, Cristian Zamfir wrote: >> This happens when Klee runs out of file descriptors. You can avoid it by >> increasing the number of file descriptors using ulimit. >> >> The crash happens because callers of openTestFile do not check if the return >> is NULL. >> We encountered this problem before. The attached patch should fix it, in the >> sense that it avoids crashing and prints a warning instead. If it is ok, I >> can commit it. >> >> Cristi >>
