projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
906e971
)
test: insanesync: consolidate lines
oopsla2013-final
author
Brian Norris
<banorris@uci.edu>
Wed, 17 Jul 2013 02:31:20 +0000
(19:31 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 17 Jul 2013 02:31:20 +0000
(19:31 -0700)
test/insanesync.cc
patch
|
blob
|
history
diff --git
a/test/insanesync.cc
b/test/insanesync.cc
index a1e5d04bc7a9fa8332d505a224750ea5068455c2..c0fe7f661a06317df8b758156a88fa5eb5cd68df 100644
(file)
--- a/
test/insanesync.cc
+++ b/
test/insanesync.cc
@@
-8,10
+8,8
@@
using namespace std;
-atomic_int x;
-atomic_int y;
-atomic_intptr_t z;
-atomic_intptr_t z2;
+atomic_int x, y;
+atomic_intptr_t z, z2;
int r1, r2, r3; /* "local" variables */