projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add support for analysis with options
[model-checker.git]
/
scanalysis.cc
diff --git
a/scanalysis.cc
b/scanalysis.cc
index 265c84cd4fdf3e937ea48adfbc7e145b14efcb15..2738bb50a907a76f6ee6a60fb38d0f68406de7cc 100644
(file)
--- a/
scanalysis.cc
+++ b/
scanalysis.cc
@@
-26,6
+26,10
@@
char * SCAnalysis::name() {
return name;
}
+bool SCAnalysis::option(char *) {
+ return false;
+}
+
void SCAnalysis::print_list(action_list_t *list) {
model_print("---------------------------------------------------------------------\n");
if (cyclic)