[ntp:bk-ntp-dev-send] BitKeeper diffs

Harlan Stenn stenn at whimsy.udel.edu
Thu Aug 9 00:38:03 UTC 2007


#### ChangeSet ####
2007-08-08 20:33:49-04:00, stenn at whimsy.udel.edu 
  Improve Calysto support

==== ChangeLog ====
2007-08-08 20:33:36-04:00, stenn at whimsy.udel.edu +1 -0
  Improve Calysto support

--- 1.94/ChangeLog	2007-08-07 03:10:31 -04:00
+++ 1.95/ChangeLog	2007-08-08 20:33:36 -04:00
@@ -1,3 +1,4 @@
+* Improve Calysto support.
 * The "revoke" parameter is a crypto command.
 * The driftfile wander threshold is a real number.
 * [Bug 850] Fix the wander threshold parameter on the driftfile command.

==== include/ntp_assert.h ====
2007-08-08 20:33:37-04:00, stenn at whimsy.udel.edu +12 -0
  Improve Calysto support

--- 1.1/include/ntp_assert.h	2007-06-22 01:00:58 -04:00
+++ 1.2/include/ntp_assert.h	2007-08-08 20:33:37 -04:00
@@ -5,6 +5,17 @@
 #ifndef NTP_ASSSERT_H
 #define NTP_ASSERT_H
 
+# ifdef CALYSTO 
+
+extern void calysto_assume(unsigned char cnd); /* assume this always holds */ 
+extern void calysto_assert(unsigned char cnd); /* check whether this holds */ 
+#define NTP_REQUIRE(x)  calysto_assert(x) 
+#define NTP_INSIST(x)   calysto_assume(x) 
+#define NTP_INVARIANT(x) calysto_assume(x) 
+#define NTP_ENSURE(x)   calysto_assert(x) 
+ 
+# else /* ~CALYSTO */
+
 #include "isc/assertions.h"
 
 #define NTP_REQUIRE(x)	ISC_REQUIRE(x)
@@ -12,4 +23,5 @@
 #define NTP_INVARIANT(x) ISC_INVARIANT(x)
 #define NTP_ENSURE(x)	ISC_ENSURE(x)
 
+# endif /* ~CALYSTO */
 #endif


More information about the bk-ntp-dev-send mailing list