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://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a64ca6ed8ef09fb2a974d44315404075cbf365fe;hp=a64ca6ed8ef09fb2a974d44315404075cbf365fe;p=model-checker.git

tests: use <stdatomic.h>

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