I think ulimit -n gives the fd limit, which is quite small. Cristi
On Sep 15, 2009, at 4:06 PM, Stefan Bucur wrote: > Greetings, > > I was trying to run KLEE on the "ls" utility, and in a certain point > KLEE crashed with an output like: > > KLEE: WARNING: unable to write output test case, losing it > KLEE: WARNING: error opening: test3-000075.time > 0 klee 0x08961b48 > > I modified KLEE to give more details regarding the cause of the error, > and it turned out to be that the errno is EMFILE - > too many open files. I adapted KLEE to avoid crashing by redirecting > the output to stderr instead of dereferencing a NULL file object, and > I ran "lsof" on it, while executing after the first error occured. The > results: > > klee 10269 ubuntu 155r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 156r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 157r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 158r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 159r DIR 8,1 4096 589827 > /home/ubuntu > klee 10269 ubuntu 160r REG 8,1 729 377494 > /etc/group > klee 10269 ubuntu 161r DIR 8,1 4096 589827 > /home/ubuntu > [.... more similar results, with the home directory open many many > times ...] > > ubuntu at domU-12-31-39-04-26-31:~$ lsof | grep klee | wc -l > 439 > > I also noticed that while KLEE does not crash anymore, no subsequent > test files could be written after the initial failure moment. Do you > have any idea where should I look in the code to fix the problem? > > Thank you very much, > Stefan > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
