More fuzzing changes

[c11tester.git] / classlist.h

diff --git a/classlist.h b/classlist.h
new file mode 100644 (file)
index 0000000..6d9106f
--- /dev/null
+++ b/classlist.h
@@ -0,0 +1,18 @@
+#ifndef CLASSLIST_H
+#define CLASSLIST_H
+class ClockVector;
+class CycleGraph;
+class CycleNode;
+class ModelAction;
+class ModelChecker;
+class ModelExecution;
+class Node;
+class NodeStack;
+class Scheduler;
+class Thread;
+class TraceAnalysis;
+
+struct model_snapshot_members;
+struct bug_message;
+
+#endif