Commit 2a8be9c1 authored by Andreas Werner's avatar Andreas Werner
Browse files

frama-c: add proofs for generic driver init

parent c0f25754
Subproject commit 413885953f349ab1f2258e0a5c74b78e89844d86 Subproject commit 402401990c58992ad8dd76d01d94d5019ef38739
Subproject commit 51134dfdb0ac5cc8f40bcdeb9f0720a830e6c6fe Subproject commit 4ce005fd4430cccf60dd27193ae8ec62fa7be9bf
...@@ -3,6 +3,7 @@ ...@@ -3,6 +3,7 @@
#include <system.h> #include <system.h>
#include <timer.h> #include <timer.h>
#include <capture.h> #include <capture.h>
#include <framaC/gpio.h>
#include <framaC/timer.h> #include <framaC/timer.h>
#include <framaC/capture.h> #include <framaC/capture.h>
#include <framaC/pwm.h> #include <framaC/pwm.h>
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment