Date: Thu, 7 Mar 2013 00:04:46 GMT From: Jonathan Anderson <jonathan@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 222685 for review Message-ID: <201303070004.r2704k2B078377@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
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;
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303070004.r2704k2B078377>