Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

[c11tester.git] / action.h

diff --git a/action.h b/action.h
index e65b8db9ef1493e88b402be87d176401bed055dc..cebbec1beb6ba7d3f409673e92a214b792c8e623 100644 (file)
--- a/action.h
+++ b/action.h
@@ -70,7 +70,7 @@ typedef enum action_type {
        ATOMIC_NOTIFY_ALL,      // < A notify all action
        ATOMIC_WAIT,    // < A wait action
        ATOMIC_ANNOTATION,      // < An annotation action to pass information to a trace analysis
-       NOOP
+       NOOP    // no operation, which returns control to scheduler
 } action_type_t;
 
 
@@ -176,7 +176,7 @@ public:
        /* to accomodate pthread create and join */
        Thread * thread_operand;
        void set_thread_operand(Thread *th) { thread_operand = th; }
-       MEMALLOC
+       SNAPSHOTALLOC
 private:
        const char * get_type_str() const;
        const char * get_mo_str() const;