projects / c11tester.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
[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
C11 Tester Tool Public Repository