X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.h;h=d357066ad5850f2c61ac3115d4cebc1235658d04;hp=7c79f435cff8aba9b248fba38af5ee40b8aac84c;hb=1a2e39876cbd4a779e7c387a57ba1d26740e9c6a;hpb=008f3540dd072be2bfb13d6529562523bd33e901 diff --git a/action.h b/action.h index 7c79f435..d357066a 100644 --- a/action.h +++ b/action.h @@ -52,6 +52,7 @@ typedef enum action_type { THREAD_YIELD, // < A thread yield action THREAD_JOIN, // < A thread join action THREAD_FINISH, // < A thread completion action + THREADONLY_FINISH, // < A thread completion action PTHREAD_CREATE, // < A pthread creation action PTHREAD_JOIN, // < A pthread join action ATOMIC_UNINIT, // < Represents an uninitialized atomic