Merge pull request #4 from Veridise/dev

rebase
Veridise · Mar 3, 2024 · 986247b · 986247b
2 parents f9b633a + 29e0084
commit 986247b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)"
    ]
   },
   {