From owner-p4-projects@FreeBSD.ORG  Thu Mar  7 00:04:47 2013
Return-Path: <owner-p4-projects@FreeBSD.ORG>
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
 id 06052D8D; Thu,  7 Mar 2013 00:04:47 +0000 (UTC)
Delivered-To: perforce@freebsd.org
Received: from mx1.freebsd.org (mx1.FreeBSD.org [8.8.178.115])
 by hub.freebsd.org (Postfix) with ESMTP id BC050D8B
 for <perforce@freebsd.org>; Thu,  7 Mar 2013 00:04:46 +0000 (UTC)
 (envelope-from jonathan@freebsd.org)
Received: from skunkworks.freebsd.org (skunkworks.freebsd.org
 [IPv6:2001:1900:2254:2068::682:0])
 by mx1.freebsd.org (Postfix) with ESMTP id ADC2C2DE
 for <perforce@freebsd.org>; Thu,  7 Mar 2013 00:04:46 +0000 (UTC)
Received: from skunkworks.freebsd.org ([127.0.1.74])
 by skunkworks.freebsd.org (8.14.6/8.14.6) with ESMTP id r2704kt1078380
 for <perforce@freebsd.org>; Thu, 7 Mar 2013 00:04:46 GMT
 (envelope-from jonathan@freebsd.org)
Received: (from perforce@localhost)
 by skunkworks.freebsd.org (8.14.6/8.14.6/Submit) id r2704k2B078377
 for perforce@freebsd.org; Thu, 7 Mar 2013 00:04:46 GMT
 (envelope-from jonathan@freebsd.org)
Date: Thu, 7 Mar 2013 00:04:46 GMT
Message-Id: <201303070004.r2704k2B078377@skunkworks.freebsd.org>
X-Authentication-Warning: skunkworks.freebsd.org: perforce set sender to
 jonathan@freebsd.org using -f
From: Jonathan Anderson <jonathan@FreeBSD.org>
Subject: PERFORCE change 222685 for review
To: Perforce Change Reviews <perforce@FreeBSD.org>
Precedence: bulk
X-BeenThere: p4-projects@freebsd.org
X-Mailman-Version: 2.1.14
List-Id: p4 projects tree changes <p4-projects.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/p4-projects>,
 <mailto:p4-projects-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/p4-projects>
List-Post: <mailto:p4-projects@freebsd.org>
List-Help: <mailto:p4-projects-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
 <mailto:p4-projects-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 07 Mar 2013 00:04:47 -0000

http://p4web.freebsd.org/@@222685?ac=10

Change 222685 by jonathan@jonathan-on-kent on 2013/03/07 00:04:08

	Try out a (very, very simple) TESLA assertion in bin/ls.

Affected files ...

.. //depot/projects/ctsrd/tesla/src/bin/ls/ls.c#2 edit

Differences ...

==== //depot/projects/ctsrd/tesla/src/bin/ls/ls.c#2 (text+ko) ====

@@ -67,6 +67,10 @@
 #include <signal.h>
 #endif
 
+#ifdef TESLA
+#include "tesla-macros.h"
+#endif
+
 #include "ls.h"
 #include "extern.h"
 
@@ -567,6 +571,10 @@
 static void
 display(const FTSENT *p, FTSENT *list, int options)
 {
+#ifdef	TESLA
+	TESLA_GLOBAL(since(called(main), called(traverse)));
+#endif
+
 	struct stat *sp;
 	DISPLAY d;
 	FTSENT *cur;