change the structure of predicate expressions, and modify the way nullity predicates...
[c11tester.git] / plugins.cc
1 #include "plugins.h"
2
3 ModelVector<TraceAnalysis *> * registered_analysis;
4 ModelVector<TraceAnalysis *> * installed_analysis;
5
6 void register_plugins() {
7         registered_analysis=new ModelVector<TraceAnalysis *>();
8         installed_analysis=new ModelVector<TraceAnalysis *>();
9 }
10
11 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
12         return registered_analysis;
13 }
14
15 ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis() {
16         return installed_analysis;
17 }