diff --git a/doc/Poject_suggestions.md b/doc/Poject_suggestions.md index dd2f5eb830aca05cbf1c85e075eb8f118337bf17..cdc15474d87b3aba4d41e4c06e30fce4a5bee12a 100644 --- a/doc/Poject_suggestions.md +++ b/doc/Poject_suggestions.md @@ -9,15 +9,17 @@ Symbolic execution engine for MIR internal format --- ## LED Audio (taken) -Blink leds according to audio input +- Blink leds according to audio input + --- ## Drivers for NXP (Axel) --- ## WCET analysis for RTFM models using KLEE (Henrik) - - Automated testebed, integrated as cargo sub-command + --- ## USB-Hid (Johannes) + --- ## ETM Tracing - Develop an API for setting up ETM trace