From 27c6c6896a33193873525b66d32097852ec2b18a Mon Sep 17 00:00:00 2001 From: Per <Per Lindgren> Date: Wed, 15 Nov 2017 16:19:39 +0100 Subject: [PATCH] fix --- doc/Poject_suggestions.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/Poject_suggestions.md b/doc/Poject_suggestions.md index dd2f5eb..cdc1547 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 -- GitLab