Documentaiton This folder contains various documents regarding the project bext.md - documents the B extensions and deviations from the original kbman document. btest.md - documents the testing tool. bgen.md - documents how to work with codegens.