projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
clean out includes, etc.
[model-checker.git]
/
execution.cc
diff --git
a/execution.cc
b/execution.cc
index 828502686d0194e642e8b2335c910c33f86ff049..f0288d2e7de1eb2d23bc32c95a3c01fb8c7d1683 100644
(file)
--- a/
execution.cc
+++ b/
execution.cc
@@
-5,18
+5,15
@@
#include <stdarg.h>
#include "execution.h"
#include <stdarg.h>
#include "execution.h"
-#include "model.h"
#include "action.h"
#include "nodestack.h"
#include "schedule.h"
#include "action.h"
#include "nodestack.h"
#include "schedule.h"
-#include "snapshot-interface.h"
#include "common.h"
#include "clockvector.h"
#include "cyclegraph.h"
#include "promise.h"
#include "datarace.h"
#include "threads-model.h"
#include "common.h"
#include "clockvector.h"
#include "cyclegraph.h"
#include "promise.h"
#include "datarace.h"
#include "threads-model.h"
-#include "output.h"
#include "bugmessage.h"
#define INITIAL_THREAD_ID 0
#include "bugmessage.h"
#define INITIAL_THREAD_ID 0
@@
-31,7
+28,6
@@
struct model_snapshot_members {
used_sequence_numbers(0),
next_backtrack(NULL),
bugs(),
used_sequence_numbers(0),
next_backtrack(NULL),
bugs(),
- stats(),
failed_promise(false),
too_many_reads(false),
no_valid_reads(false),
failed_promise(false),
too_many_reads(false),
no_valid_reads(false),
@@
-49,7
+45,6
@@
struct model_snapshot_members {
modelclock_t used_sequence_numbers;
ModelAction *next_backtrack;
SnapVector<bug_message *> bugs;
modelclock_t used_sequence_numbers;
ModelAction *next_backtrack;
SnapVector<bug_message *> bugs;
- struct execution_stats stats;
bool failed_promise;
bool too_many_reads;
bool no_valid_reads;
bool failed_promise;
bool too_many_reads;
bool no_valid_reads;