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 >
