Add SCFence analysis

[model-checker.git] / plugins.cc

diff --git a/plugins.cc b/plugins.cc
index b1d3cfb84e4be2a86d58ad7a2eed2df104f3fe7c..38493debc400ab95edb7d7a82f64eda055e0d2c3 100644 (file)
--- a/plugins.cc
+++ b/plugins.cc
@@ -1,5 +1,6 @@
 #include "plugins.h"
 #include "scanalysis.h"
 #include "plugins.h"
 #include "scanalysis.h"

+#include "scfence.h"

 
 ModelVector<TraceAnalysis *> * registered_analysis;
 ModelVector<TraceAnalysis *> * installed_analysis;
 
 ModelVector<TraceAnalysis *> * registered_analysis;
 ModelVector<TraceAnalysis *> * installed_analysis;


@@ -8,6 +9,7 @@ void register_plugins() {
        registered_analysis=new ModelVector<TraceAnalysis *>();
        installed_analysis=new ModelVector<TraceAnalysis *>();
        registered_analysis->push_back(new SCAnalysis());
        registered_analysis=new ModelVector<TraceAnalysis *>();
        installed_analysis=new ModelVector<TraceAnalysis *>();
        registered_analysis->push_back(new SCAnalysis());

+       registered_analysis->push_back(new SCFence());

 }
 
 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
 }
 
 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {