Call DeepState_Begin() for each forked take-over test case

2018-02-20 15:52:14 -08:00
parent 23dbbbdc57
commit c09feec114
1 changed files with 3 additions and 1 deletions
@@ -391,6 +391,8 @@ void DeepState_RunSavedTakeOverCases(jmp_buf env,
    if (IsTestCaseFile(dp->d_name)) {
      pid_t case_pid = fork();
      if (!case_pid) {
+        DeepState_Begin(test);
+
        size_t path_len = 2 + sizeof(char) * (strlen(test_case_dir) +
                                              strlen(dp->d_name));
        char *path = (char *) malloc(path_len);
@@ -452,7 +454,7 @@ int DeepState_TakeOver(void) {
    .file_name = "__takeover_file",
    .line_number = 0,
  };
-  // DeepState_Begin(&test);
+
  jmp_buf env;
  if (!setjmp(env)) {
    DeepState_RunSavedTakeOverCases(env, &test);