From 1dafef5fdf9d98b38cbe717b8a220d721f0ebea8 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 31 Jan 2017 22:22:04 +0100
Subject: Made Frama-C give up.

It validates (*sequence_length == (\old(*sequence_length) + 1))
regardless of the addition of an "*sequence_length -= 1;" in the code.
---
 src/pervasive.h | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

(limited to 'src/pervasive.h')

diff --git a/src/pervasive.h b/src/pervasive.h
index e5cda3b..7359a3d 100644
--- a/src/pervasive.h
+++ b/src/pervasive.h
@@ -6,20 +6,14 @@
 #define ZoO_SERVER_VERSION    1
 #define ZoO_PROTOCOL_VERSION  1
 
+#define ZoO_RUNNING_FRAMA_C   1
+
 #define ZoO_DEBUG_ALL 1
 
 #ifndef ZoO_DEBUG_ALL
    #define ZoO_DEBUG_ALL 0
 #endif
 
-#ifndef ZoO_NETWORK_TIMEOUT
-   #define ZoO_NETWORK_TIMEOUT            200
-#endif
-
-#ifndef ZoO_MAX_REPLY_WORDS
-   #define ZoO_MAX_REPLY_WORDS            64
-#endif
-
 #define ZoO__TO_STRING(x) #x
 #define ZoO_TO_STRING(x) ZoO__TO_STRING(x)
 #define ZoO_ISOLATE(a) do {a} while (0)
-- 
cgit v1.2.3-70-g09d2