From 1015810391298387b54efc4b58b44347db45673e Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Mon, 10 Oct 2011 18:31:56 +0200
Subject: [PATCH] ++testtodo

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/todo/tests | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/dev/todo/tests b/doc/dev/todo/tests
index 8f019fed..6fcd1a04 100644
--- a/doc/dev/todo/tests
+++ b/doc/dev/todo/tests
@@ -26,3 +26,4 @@ Tests needed:
       run_type_explorer(): ensure environment is setup correctly
 
 
+      all: check that messages of all functions contain target_host in string