2021-11-27 00:05:35 +01:00
|
|
|
#ifndef TRACE_H_INCLUDED
|
|
|
|
|
#define TRACE_H_INCLUDED
|
|
|
|
|
|
|
|
|
|
#include <inttypes.h>
|
|
|
|
|
|
|
|
|
|
extern uint32_t coverage;
|
|
|
|
|
|
2021-11-27 20:12:33 +01:00
|
|
|
#define COVERAGE_ON()
|
2021-11-27 00:05:35 +01:00
|
|
|
|
2021-11-27 20:12:33 +01:00
|
|
|
#define COVERAGE_OFF()
|
2021-11-27 00:05:35 +01:00
|
|
|
|
|
|
|
|
void trace_begin(void);
|
|
|
|
|
void trace_end(void);
|
|
|
|
|
uint32_t trace_pause(void);
|
|
|
|
|
void trace_resume(uint32_t value);
|
|
|
|
|
|
|
|
|
|
#endif
|
