Trying out ACSL, continuing implementation.

1 files changed, 13 insertions, 0 deletions

diff --git a/src/server/server_add_server_worker.c b/src/server/server_add_server_worker.c
new file mode 100644
index 0000000..cae10fd
--- /dev/null
+++ b/src/server/server_add_server_worker.c
@@ -0,0 +1,13 @@
+#include <pthread.h>
+
+#include "server.h"
+
+int ZoO_server_add_worker
+(
+   struct ZoO_server s [const restrict static 1],
+   struct ZoO_server_message msg_buffer [const restrict static 1]
+)
+{
+   /* TODO */
+   return -1;
+}