From 29e00845642bd814965603a7fc5a5b553a396984 Mon Sep 17 00:00:00 2001
From: Yanju Chen <chyanju@gmail.com>
Date: Sun, 3 Mar 2024 00:24:37 -0800
Subject: [PATCH] rebase

---
 tests/test4.ipynb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/test4.ipynb b/tests/test4.ipynb
index 2e4c313..ae5fa4f 100644
--- a/tests/test4.ipynb
+++ b/tests/test4.ipynb
@@ -118,10 +118,10 @@
     }
    ],
    "source": [
-    "# r = run_test_suite(\"./tests/public/divz0/build/\", detector_divz, verbose=True)\n",
+    "r = run_test_suite(\"./tests/public/divz0/build/\", detector_divz, verbose=True)\n",
     "# r = run_test_suite(\"./tests/public/infoleak0/build/\", detector_infoleak, verbose=True)\n",
     "# r = run_test_suite(\"./tests/public/rtcnst0/build/\", detector_rtcnst, verbose=True)\n",
-    "r = run_test_suite(\"./tests/public/unused0/build/\", detector_unused, verbose=True)"
+    "# r = run_test_suite(\"./tests/public/unused0/build/\", detector_unused, verbose=True)"
    ]
   },
   {