projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
da918c4
)
Silence -Wreorder
author
weiyu
<weiyuluo1232@gmail.com>
Tue, 10 Dec 2019 23:27:07 +0000
(15:27 -0800)
committer
weiyu
<weiyuluo1232@gmail.com>
Tue, 10 Dec 2019 23:27:07 +0000
(15:27 -0800)
execution.cc
patch
|
blob
|
history
diff --git
a/execution.cc
b/execution.cc
index 7b8461226a8860d60a0311c2fa2538607c9b1363..69b3b2765b845eb0950f75ec3226fc6c62538671 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-51,10
+51,10
@@
ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
model(m),
params(NULL),
scheduler(scheduler),
- action_trace(),
thread_map(2), /* We'll always need at least 2 threads */
pthread_map(0),
pthread_counter(1),
+ action_trace(),
obj_map(),
condvar_waiters_map(),
obj_thrd_map(),