add support for analysis with options

[c11tester.git] / scanalysis.h

diff --git a/scanalysis.h b/scanalysis.h
index ffa933ad5e2b872769199ca81fbcec9d7afd8333..286f73dea6ec00f065af822f66ae4c3baee1f59c 100644 (file)
--- a/scanalysis.h
+++ b/scanalysis.h
@@ -10,7 +10,7 @@ class SCAnalysis : public TraceAnalysis {
        virtual void setExecution(ModelExecution * execution);
        virtual void analyze(action_list_t *);
        virtual char * name();
-
+       virtual bool option(char *);
 
        SNAPSHOTALLOC
  private: