DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Make sure DeepState_Setup is not inlined for default-provided main functions.

Browse Source
This commit is contained in:
Peter Goodman
2018-09-27 17:14:19 -07:00
parent b3f20d9746
commit 400d826b0a
1 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/lib/DeepState.c
View File

@@ -367,8 +367,13 @@ const struct DeepState_IndexEntry DeepState_API[] = {
};
/* Set up DeepState. */
DEEPSTATE_NOINLINE
void DeepState_Setup(void) {
DeepState_AllocCurrentTestRun();
static int was_setup = 0;
if (!was_setup) {
DeepState_AllocCurrentTestRun();
was_setup = 1;
}
/* TODO(pag): Sort the test cases by file name and line number. */
}
@@ -620,8 +625,12 @@ void __stack_chk_fail(void) {
__attribute__((weak))
int main(int argc, char *argv[]) {
int ret = 0;
DeepState_Setup();
DeepState_InitOptions(argc, argv);
return DeepState_Run();
ret = DeepState_Run();
DeepState_Teardown();
return ret;
}
DEEPSTATE_END_EXTERN_C