The [CIAO Development Environment](https://ciao-project.github.io/developer.html) doc makes use of and refers to the BAT tests README (see "Running the BAT tests"), but the file was [removed on 25 Sep 2017](https://github.com/ciao-project/ciao/commit/673ef615ebaa75318a326af31a0daf9b3e7476c2#diff-64fec2e3bf6c4ab68c1e0b97ea340acb). Here's the [last known version](https://github.com/ciao-project/ciao/blob/55c5b70b8071f177ee95f0b10d5c80b971e90212/_release/bat/README.md).
The CIAO Development Environment doc makes use of and refers to the BAT tests README (see "Running the BAT tests"), but the file was removed on 25 Sep 2017. Here's the last known version.