An exception was raised in svm-node for fs::copy_file during the preparation phase (copying files from trace_dir to trace_dir/klee-run). The exception stated that the maximum number of open files limit had been exceeded.
While the error occurred in svm-node, it's more likely the error is from vm-node or QEMU, as when running vm-node with 1 QEMU instance did not have this problem.
As far as I can tell: No. It is more likely Klee that was causing the limit of FDs to be exhausted. Indeed, Klee's manual recommends setting ulimit -n.
Environment: dispatch, vm-node (4 QEMU instances), and svm-node (1 Klee instance).
An exception was raised in svm-node for fs::copy_file during the preparation phase (copying files from trace_dir to trace_dir/klee-run). The exception stated that the maximum number of open files limit had been exceeded.
While the error occurred in svm-node, it's more likely the error is from vm-node or QEMU, as when running vm-node with 1 QEMU instance did not have this problem.
Workaround: simply add ulimit -n 2048 to .bashrc.