This repository handle the overall automated frama-C formal proof of the new Wookey USB stack.
The overall USB stack is fully checked (EVA+WP) with both Frama-C 21.1 and 22.0 each day.
Each time a new commit is received on one of the USB stack modules main branch, a new formal proof check is triggered on this module (EVA+WP), again with Frama-C 21.1 and 22.0.
