From owner-svn-soc-all@FreeBSD.ORG  Wed Aug  1 08:14:49 2012
Return-Path: <owner-svn-soc-all@FreeBSD.ORG>
Delivered-To: svn-soc-all@FreeBSD.org
Received: from socsvn.FreeBSD.org (unknown [IPv6:2001:4f8:fff6::2f])
	by hub.freebsd.org (Postfix) with SMTP id D05D11065672
	for <svn-soc-all@FreeBSD.org>; Wed,  1 Aug 2012 08:14:47 +0000 (UTC)
	(envelope-from gmiller@FreeBSD.org)
Received: by socsvn.FreeBSD.org (sSMTP sendmail emulation);
	Wed, 01 Aug 2012 08:14:47 +0000
Date: Wed, 01 Aug 2012 08:14:47 +0000
From: gmiller@FreeBSD.org
To: svn-soc-all@FreeBSD.org
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-Id: <20120801081447.D05D11065672@hub.freebsd.org>
Cc: 
Subject: socsvn commit: r239984 - in soc2012/gmiller/locking-head: .
	tools/regression/lib/libwitness
X-BeenThere: svn-soc-all@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: SVN commit messages for the entire Summer of Code repository
	<svn-soc-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/svn-soc-all>,
	<mailto:svn-soc-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-soc-all>
List-Post: <mailto:svn-soc-all@freebsd.org>
List-Help: <mailto:svn-soc-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-soc-all>,
	<mailto:svn-soc-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 01 Aug 2012 08:14:50 -0000

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@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);