redo model object initialization
[c11tester.git] / include / cdsannotate.h
1 #ifndef CDS_ANNOTATE_H
2 #define CDS_ANNOTATE_H
3 #include <stdint.h>
4
5 void cdsannotate(uint64_t analysistype, void *annotation);
6
7 #endif