projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix snapshot code
[model-checker.git]
/
test
/
insanesync.cc
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 */