Structural-Test: Link files
If a user includes a custom header file where the functions are not implemented in the header, the function bodies' structure is not checked by the framework.
Example:
main.c
#include "file.h"
int main(void){
fun();
}
file.h
int fun();
file.c
int fun() {
long a = 5;
return (int)a;
}
Currently, you have to use two structural test definitions. Maybe this should be unified in a future version.