changes with lines of spec counted
[cdsspec-compiler.git] / benchmark / mcs-lock / mcs-lock.h
index 46c6530..bf49631 100644 (file)
@@ -54,12 +54,9 @@ public:
                        LANG = CPP;
                        CLASS = mcs_mutex;
                @Global_define:
-                       @DeclareVar:
-                               bool _lock_acquired;
-                       @InitVar:
-                               _lock_acquired = false;
-               @Happens_before:
-                       Unlock -> Lock
+                       @DeclareVar: bool _lock_acquired;
+                       @InitVar: _lock_acquired = false;
+               @Happens_before: Unlock -> Lock
                @End
        */
 
@@ -67,10 +64,8 @@ public:
                @Begin
                @Interface: Lock
                @Commit_point_set: Lock_Enqueue_Point1 | Lock_Enqueue_Point2
-               @Check:
-                       _lock_acquired == false;
-               @Action:
-                       _lock_acquired = true;
+               @Check: _lock_acquired == false;
+               @Action: _lock_acquired = true;
                @End
        */
        void lock(guard * I) {
@@ -125,12 +120,9 @@ public:
        /**
                @Begin
                @Interface: Unlock
-               @Commit_point_set:
-                       Unlock_Point_Success_1 | Unlock_Point_Success_2
-               @Check:
-                       _lock_acquired == true
-               @Action:
-                       _lock_acquired = false;
+               @Commit_point_set: Unlock_Point_Success_1 | Unlock_Point_Success_2
+               @Check: _lock_acquired == true
+               @Action: _lock_acquired = false;
                @End
        */
        void unlock(guard * I) {