blob: e6b459f1f358e1f4b6d87dc6f6ae065b3b04f2d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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.
*/
/* Validity 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 */
|