From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 21:10:45 +0000 (-0700)
Subject: tests: use <stdatomic.h>
X-Git-Tag: pldi2013~66
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=a64ca6ed8ef09fb2a974d44315404075cbf365fe

tests: use <stdatomic.h>

While I'm at it, rearrange the header listings.
---

diff --git a/test/double-relseq.c b/test/double-relseq.c
index 53147b7..ebf0dc7 100644
--- a/test/double-relseq.c
+++ b/test/double-relseq.c
@@ -10,10 +10,10 @@
  */
 
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;
diff --git a/test/linuxrwlocks.c b/test/linuxrwlocks.c
index ac2fe52..7e317aa 100644
--- a/test/linuxrwlocks.c
+++ b/test/linuxrwlocks.c
@@ -1,8 +1,8 @@
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 #define RW_LOCK_BIAS            0x00100000
 #define WRITE_LOCK_CMP          RW_LOCK_BIAS
diff --git a/test/pending-release.c b/test/pending-release.c
index d74dcca..e518e42 100644
--- a/test/pending-release.c
+++ b/test/pending-release.c
@@ -6,10 +6,10 @@
  */
 
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;
diff --git a/test/releaseseq.c b/test/releaseseq.c
index cbb8ef5..c4e2c17 100644
--- a/test/releaseseq.c
+++ b/test/releaseseq.c
@@ -5,10 +5,10 @@
  */
 
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 int var = 0;
diff --git a/test/rmwprog.c b/test/rmwprog.c
index 5911e5a..feac776 100644
--- a/test/rmwprog.c
+++ b/test/rmwprog.c
@@ -1,8 +1,8 @@
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 
diff --git a/test/userprog.c b/test/userprog.c
index 6ad4909..cbd58ee 100644
--- a/test/userprog.c
+++ b/test/userprog.c
@@ -1,8 +1,8 @@
 #include <stdio.h>
-
 #include <threads.h>
+#include <stdatomic.h>
+
 #include "librace.h"
-#include "stdatomic.h"
 
 atomic_int x;
 atomic_int y;