Dear all, I am trying to reproduce results of KLEE OSDI'08 paper on the Docker image provided on KLEE website. I downloaded Coreutils 6.10 and followed the tutorial at https://klee.github.io/tutorials/testing-coreutils/. However, I got an error when I run configure. It looks quite strange.
.... config.status: executing po-directories commands config.status: creating po/POTFILES config.status: creating po/Makefile rm: cannot remove 'confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/confdir3/..................': File name too long I have not faced this issue in normal Ubuntu 32-bit & 64-bit systems. Anyone has similar issue? Thanks, Thuan
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
