socsvn commit: r239984 - in soc2012/gmiller/locking-head: . tools/regression/lib/libwitness

[gmiller at FreeBSD.org]

Author: gmiller
Date: Wed Aug  1 08:14:47 2012
New Revision: 239984
URL: http://svnweb.FreeBSD.org/socsvn/?view=rev&rev=239984

Log:
   r240029 at FreeBSD-dev:  root | 2012-07-24 12:12:10 -0500
   Add sibling checks to the graph.t tests.

Modified:
  soc2012/gmiller/locking-head/   (props changed)
  soc2012/gmiller/locking-head/tools/regression/lib/libwitness/graph.c

Modified: soc2012/gmiller/locking-head/tools/regression/lib/libwitness/graph.c
==============================================================================
--- soc2012/gmiller/locking-head/tools/regression/lib/libwitness/graph.c	Wed Aug  1 08:14:22 2012	(r239983)
+++ soc2012/gmiller/locking-head/tools/regression/lib/libwitness/graph.c	Wed Aug  1 08:14:47 2012	(r239984)
@@ -44,6 +44,7 @@
 			check((i < (lock_count - 1) &&
 			       (lock_buffer + i + 1) == order.child) ||
 			      (i == (lock_count - 1) && order.child == NULL));
+			check(order.sibling == NULL);
 		}
 	}
 	pthread_lockorder_end_np(&order);