-
Notifications
You must be signed in to change notification settings - Fork 0
/
Loggers.h
47 lines (44 loc) · 1.5 KB
/
Loggers.h
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#ifndef LOGGERS_H
#define LOGGERS_H
extern MiniLogger wakeup_halt_logger;
extern MiniLogger order_logger;
extern MiniLogger top_method_logger;
extern MiniLogger inter_st_logger;
extern MiniLogger certain_msg_logger;
extern MiniLogger spec_msg_logger;
extern MiniLogger control_transfer_logger;
extern MiniLogger c_logger;
extern MiniLogger s_logger;
extern MiniLogger r_logger;
extern MiniLogger c_new_logger;
extern MiniLogger s_new_logger;
extern MiniLogger r_new_logger;
extern MiniLogger step_loop_in_out_logger;
extern MiniLogger c_pop_frame_logger;
extern MiniLogger s_push_frame_logger;
extern MiniLogger s_pop_frame_logger;
extern MiniLogger r_pop_frame_logger;
extern MiniLogger r_frame_logger;
extern MiniLogger snapshot_detail_logger;
extern MiniLogger task_load_logger;
extern MiniLogger verify_logger;
extern MiniLogger verify_detail_logger;
extern MiniLogger snapshot_logger;
extern MiniLogger snapshot_take_logger;
extern MiniLogger snapshot_take_pin_logger;
extern MiniLogger snapshot_commit_logger;
extern MiniLogger snapshot_discard_logger;
extern MiniLogger when_leave_rvp_logger;
extern MiniLogger c_exception_logger;
extern MiniLogger s_exception_logger;
extern MiniLogger r_exception_logger;
extern MiniLogger free_frames_logger;
extern MiniLogger invoke_return_logger;
extern MiniLogger spec_barrier_logger;
extern MiniLogger rvp_logger;
extern MiniLogger switch_mode_logger;
extern MiniLogger unwind_frame_logger;
extern MiniLogger leader_logger;
extern MiniLogger break_logger;
extern bool p;
#endif // LOGGERS_H