Trying out ACSL, continuing implementation.

3 files changed, 10 insertions, 2 deletions

diff --git a/src/pipe/pipe.c b/src/pipe/pipe.c
index e69de29..8f414f5 100644
--- a/src/pipe/pipe.c
+++ b/src/pipe/pipe.c
@@ -0,0 +1 @@
+/* TODO */
diff --git a/src/pipe/pipe.h b/src/pipe/pipe.h
index ea31b55..3c5fd44 100644
--- a/src/pipe/pipe.h
+++ b/src/pipe/pipe.h
@@ -143,4 +143,5 @@
       }\
    )
 
+/* TODO: add missing pipe functions */
 #endif
diff --git a/src/pipe/pipe_types.h b/src/pipe/pipe_types.h
index 15b4a54..cfeb514 100644
--- a/src/pipe/pipe_types.h
+++ b/src/pipe/pipe_types.h
@@ -1,5 +1,5 @@
 #ifndef _ZoO_PIPE_PIPE_TYPES_H_
-#define _ZoO_PIPE_PIPE_TYPESH_
+#define _ZoO_PIPE_PIPE_TYPES_H_
 
 #include <stdio.h>
 
@@ -8,6 +8,12 @@ struct ZoO_pipe
    FILE * out;
    FILE * in;
 };
-   const struct ZoO_pipe io [const restrict static 1]
+
+struct ZoO_pipe_names
+{
+   char request_pipe[255];
+   char reply_pipe[255];
+};
+//   const struct ZoO_pipe io [const restrict static 1]
 
 #endif