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