BDD for Arduino-like projects