diff --git a/README.md b/README.md index 531387289f44ff77b97078ef513bed00d2e4f403..26b35bd1a895286cb1414fdc770937d2e70923b2 100644 --- a/README.md +++ b/README.md @@ -162,6 +162,8 @@ dune runtest lustrec_tests/<my_dir> --no-buffer --display quiet The results can be found in the `results/` directory. +Some tests requires to install tokei https://github.com/XAMPPRocky/tokei/ + ## Developing and hacking LustreC If you want to hack LustreC, you should use