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,
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