You should look at the work of Alastair Reid / Google on this topic: https://project-oak.github.io/rust-verification-tools/2021/07/14/coreutils.html
Best, Cristian On 04/06/2022 22:26, gwpub...@wp.pl wrote:
Klee got famous with coreutils experiments. As they reimplement coreutils in Rust, maybe it would be interesting to prepare e.g. Dockerfile allowing to repeat experiment but on those: https://github.com/uutils/coreutils _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev