projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
edits
[model-checker.git]
/
scfence
/
scfence.cc
diff --git
a/scfence/scfence.cc
b/scfence/scfence.cc
index 63408cbf1c06c4fe96fab70961930b01eba4c914..130dc3b16dfc83f09bc563a4a97089d7b82c5ac4 100644
(file)
--- a/
scfence/scfence.cc
+++ b/
scfence/scfence.cc
@@
-35,7
+35,7
@@
void SCFence::setExecution(ModelExecution * execution) {
}
const char * SCFence::name() {
- const char * name = "
SCFENCE
";
+ const char * name = "
AUTOMO
";
return name;
}