Im running ls.bc with klee and suddenly an error has occurred
how can I fix it?
Command :
$ klee --simplify-sym-indices --write-cvcs --write-cov --output-module \--max-memory=1000 --disable-inlining --optimize \--use-cex-cache --libc=uclibc --posix-runtime \--allow-external-sym-calls --only-output-states-covering-new \--environ=test.env --run-in=/tmp/sandbox \--max-sym-array-size=8192 --max-instruction-time=180. --max-time=18000. \--watchdog --max-memory-inhibit=false --max-static-fork-pct=1 \--max-static-solve-pct=1 --max-static-cpfork-pct=1 --switch-type=internal \--randomize-fork --search=random-path --search=nurs:covnew \--use-batching-search --batch-instructions=100000 \./ls.bc --sym-args 0 1 10 --sym-args 0 2 2 --sym-files 1 8 --sym-stdout
and error is
KLEE: WARNING: unable to write output test case, losing it
KLEE: ERROR: error opening file "test000061.cvc". KLEE may have run out of file descriptors: try to increase the maximum number of open file descriptors by using ulimit.
KLEE: ERROR: error opening file "test000061.cvc". KLEE may have run out of file descriptors: try to increase the maximum number of open file descriptors by using ulimit.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
