Hi all,
I use klee docker image 1.3.0 to run experiments on GNU Coreutils chmod.bc with
arguments here.
But my docker container falls into crash due to this program changes my
privilege symbolically and I cannot find any way to repair the container
because it cannot start as shown below:
/bin/bash:error while loading libraries: libtinfo.so.5: cannot open shared
object file: Permission denied.
Do you have any idea to run this program?
Thanks,
Yushan
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
