When I attempt to run Klee on cp, runcon, id, ginstall, or move, I get
"WARNING: undefined reference to function: is_selinux_enabled" While this doesn't cause Klee to stop, all of the resulting explorations are very superficial. None of the other 85 core-util programs talked about in the Klee paper have this problem. Has anyone encountered/solved this issue. Just in case, I'm using core-utils 6.10. Thanks.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
