Date: Thu, 7 Mar 2013 13:57:56 GMT From: Jonathan Anderson <jonathan@FreeBSD.org> To: Perforce Change Reviews <perforce@FreeBSD.org> Subject: PERFORCE change 222695 for review Message-ID: <201303071357.r27DvuYn059042@skunkworks.freebsd.org>
next in thread | raw e-mail | index | archive | help
http://p4web.freebsd.org/@@222695?ac=10 Change 222695 by jonathan@jonathan-on-kent on 2013/03/07 13:57:35 Update to latest libtesla parts from GitHub. Affected files ... .. //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#2 edit .. //depot/projects/ctsrd/tesla/src/lib/libtesla/update.c#2 edit .. //depot/projects/ctsrd/tesla/src/lib/libtesla/util.c#2 edit Differences ... ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/tesla.h#2 (text+ko) ==== @@ -99,7 +99,7 @@ /** Declare an automaton that describes behaviour of this struct. */ #define __tesla_struct_automaton(fn_name) \ - void *__tesla_struct_annotation_##fn_name; + void *__tesla_automaton_struct_uses_##fn_name; /** * Define an automaton to describe a struct's behaviour. ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/update.c#2 (text+ko) ==== @@ -121,7 +121,7 @@ // instructed to fork), just update the state. if (!t->fork && SUBSET(key->tk_mask, k->tk_mask)) { - VERBOSE_PRINT("update %ld: %tx->%tx\n", + VERBOSE_PRINT("update %td: %tx->%tx\n", inst - start, t->from, t->to); inst->ti_state = t->to; @@ -133,7 +133,7 @@ // a new (more specific) automaton instance. struct tesla_instance *copy; CHECK(tesla_clone, class, inst, ©); - VERBOSE_PRINT("clone %ld:%tx -> %ld:%tx\n", + VERBOSE_PRINT("clone %td:%tx -> %td:%tx\n", inst - start, inst->ti_state, copy - start, t->to); @@ -157,7 +157,7 @@ CHECK(tesla_instance_new, class, key, t->to, &inst); assert(tesla_instance_active(inst)); - VERBOSE_PRINT("new %ld: %tx\n", + VERBOSE_PRINT("new %td: %tx\n", inst - start, inst->ti_state); } ==== //depot/projects/ctsrd/tesla/src/lib/libtesla/util.c#2 (text+ko) ==== @@ -32,8 +32,6 @@ #include "tesla_internal.h" -#include <libtesla.h> - void tesla_die(char *message)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303071357.r27DvuYn059042>