From c09feec114312584ecbf3c3369337628a6a104d9 Mon Sep 17 00:00:00 2001
From: Joe Ranweiler <joe@lemma.co>
Date: Tue, 20 Feb 2018 15:52:14 -0800
Subject: [PATCH] Call `DeepState_Begin()` for each forked take-over test case

---
 src/lib/DeepState.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index cd52b60..3361455 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -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);