1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#ifndef SAIL_COVERAGE_H
#define SAIL_COVERAGE_H
int sail_coverage_exit(void);
void sail_set_coverage_file(const char *output_file);
void sail_function_entry(const char *function_name, const char *sail_file, int l1, int c1, int l2, int c2);
void sail_branch_taken(int branch_id, const char *sail_file, int l1, int c1, int l2, int c2);
void sail_branch_reached(int branch_id, const char *sail_file, int l1, int c1, int l2, int c2);
#endif
|
