1 files changed, 25 insertions, 0 deletions
diff --git a/test/usb_sm_checks.h b/test/usb_sm_checks.h
new file mode 100644
index 0000000000..0a556518a4
--- /dev/null
+++ b/test/usb_sm_checks.h
@@ -0,0 +1,25 @@
+/* Copyright 2019 The Chromium OS Authors. All rights reserved.
+ * Use of this source code is governed by a BSD-style license that can be
+ * found in the LICENSE file.
+ */
+
+/* Sanity tests for a state machine definition */
+
+#ifndef __CROS_EC_USB_SM_CHECKS_H
+#define __CROS_EC_USB_SM_CHECKS_H
+
+int test_tc_no_parent_cycles(void);
+int test_tc_no_empty_state(void);
+int test_tc_all_states_named(void);
+
+
+int test_prl_no_parent_cycles(void);
+int test_prl_no_empty_state(void);
+int test_prl_all_states_named(void);
+
+
+int test_pe_no_parent_cycles(void);
+int test_pe_no_empty_state(void);
+int test_pe_all_states_named(void);
+
+#endif /* __CROS_EC_USB_SM_CHECKS_H */
+\ No newline at end of file