SUPPORT_MOD_ORDER_DUMP can't compile if dumpGraph() isn't const.
}
#if SUPPORT_MOD_ORDER_DUMP
}
#if SUPPORT_MOD_ORDER_DUMP
-void ModelChecker::dumpGraph(char *filename) {
+void ModelChecker::dumpGraph(char *filename) const
+{
char buffer[200];
sprintf(buffer, "%s.dot",filename);
FILE *file = fopen(buffer, "w");
char buffer[200];
sprintf(buffer, "%s.dot",filename);
FILE *file = fopen(buffer, "w");
void print_summary() const;
#if SUPPORT_MOD_ORDER_DUMP
void print_summary() const;
#if SUPPORT_MOD_ORDER_DUMP
- void dumpGraph(char *filename);
+ void dumpGraph(char *filename) const;
#endif
void add_thread(Thread *t);
#endif
void add_thread(Thread *t);