X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=3e590aae7f34a115cefb9fafed941a91d3bc5f92;hb=f472540b6ab3b65c91221f6f0790d8327333a5c2;hp=6559928b14f6131489fe0c1e6ddc508e28a58ae5;hpb=68bfcf59477275db784ff4bc588d47622b750afe;p=c11tester.git diff --git a/action.h b/action.h index 6559928b..3e590aae 100644 --- a/action.h +++ b/action.h @@ -32,6 +32,7 @@ typedef enum action_type { THREAD_START, /**< First action in each thread */ THREAD_YIELD, /**< A thread yield action */ THREAD_JOIN, /**< A thread join action */ + THREAD_FINISH, /**< A thread completion action */ ATOMIC_READ, /**< An atomic read action */ ATOMIC_WRITE, /**< An atomic write action */ ATOMIC_RMWR, /**< The read part of an atomic RMW action */