projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add traceanalysis support
[model-checker.git]
/
scanalysis.cc
diff --git
a/scanalysis.cc
b/scanalysis.cc
index 98dd8eb43d43bd729a59139dff778a93ceb9fd48..265c84cd4fdf3e937ea48adfbc7e145b14efcb15 100644
(file)
--- a/
scanalysis.cc
+++ b/
scanalysis.cc
@@
-4,19
+4,28
@@
#include "clockvector.h"
#include "execution.h"
#include "clockvector.h"
#include "execution.h"
-SCAnalysis::SCAnalysis(
const ModelExecution *execution
) :
+SCAnalysis::SCAnalysis() :
cvmap(),
cyclic(false),
badrfset(),
lastwrmap(),
threadlists(1),
cvmap(),
cyclic(false),
badrfset(),
lastwrmap(),
threadlists(1),
- execution(
execution
)
+ execution(
NULL
)
{
}
SCAnalysis::~SCAnalysis() {
}
{
}
SCAnalysis::~SCAnalysis() {
}
+void SCAnalysis::setExecution(ModelExecution * execution) {
+ this->execution=execution;
+}
+
+char * SCAnalysis::name() {
+ char * name = "SC";
+ return name;
+}
+
void SCAnalysis::print_list(action_list_t *list) {
model_print("---------------------------------------------------------------------\n");
if (cyclic)
void SCAnalysis::print_list(action_list_t *list) {
model_print("---------------------------------------------------------------------\n");
if (cyclic)