X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.cc;h=16dcc5cde20afc4f5f3bf7a27d900fba52c5da0e;hp=814c7fb1be0f05df2e42725ef6fb7cd86c641b1c;hb=ef795ab915a9311fc24c7ea7048f40d0a3bb34b3;hpb=236e7f6ba12d26eb02a1348858168ed939bcfa0a diff --git a/action.cc b/action.cc index 814c7fb1..16dcc5cd 100644 --- a/action.cc +++ b/action.cc @@ -305,6 +305,11 @@ bool ModelAction::is_write() const return type == ATOMIC_WRITE || type == ATOMIC_RMW || type == ATOMIC_INIT || type == NONATOMIC_WRITE; } +bool ModelAction::is_create() const +{ + return type == THREAD_CREATE || type == PTHREAD_CREATE; +} + bool ModelAction::is_free() const { return type == READY_FREE;