rebase

Veridise · Mar 3, 2024 · bc19349 · bc19349
1 parent 5c39fd7
commit bc19349
Showing 1 changed file with 33 additions and 15 deletions.
diff --git a/tests/test4.ipynb b/tests/test4.ipynb
@@ -87,7 +87,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 6,
+   "execution_count": 4,
    "id": "a983f9b5-286c-4748-b2c7-b450ff0d7948",
    "metadata": {},
    "outputs": [
@@ -96,30 +96,48 @@
      "output_type": "stream",
      "text": [
       "# [debug] deploy: main.aleo\n",
-      "# [✓][test] pid: unused0.aleo, fid: ex0, expected: False, actual: False\n",
-      "# [✓][test] pid: unused0.aleo, fid: ex1, expected: True, actual: True\n",
-      "# [✓][test] pid: unused0.aleo, fid: ex2, expected: True, actual: True\n",
-      "# [✗][test] pid: unused0.aleo, fid: ex3, expected: False, actual: True\n",
-      "# [✓][test] pid: unused0.aleo, fid: ex4, expected: True, actual: True\n",
-      "# [✗][test] pid: unused0.aleo, fid: ex5, expected: False, actual: True\n",
-      "# [✓][test] pid: unused0.aleo, fid: ex6, expected: True, actual: True\n",
-      "# [test] accuracy: 5/7 (0.7143)\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex0, expected: True, actual: True\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex1, expected: False, actual: False\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex2, expected: True, actual: True\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex3, expected: True, actual: True\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex4, expected: True, actual: True\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex5, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex6, expected: True, actual: False\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex7, expected: False, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex8, expected: True, actual: False\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex9, expected: True, actual: True\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex10, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex11, expected: False, actual: True\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex12, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex13, expected: True, actual: False\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex14, expected: True, actual: True\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex15, expected: True, actual: True\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex16, expected: True, actual: True\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex17, expected: True, actual: False\n",
+      "# [✓][test] pid: infoleak0.aleo, fid: ex18, expected: True, actual: True\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex19, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex20, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex21, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex22, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex23, expected: True, actual: False\n",
+      "# [✗][test] pid: infoleak0.aleo, fid: ex24, expected: True, actual: False\n",
+      "# [test] accuracy: 11/25 (0.4400)\n",
       "# [test] confusion matrix:\n",
       "  actual    False  True \n",
       "expected              \n",
-      "False         1      2\n",
-      "True          0      4\n",
+      "False         2      1\n",
+      "True         13      9\n",
       "# [test] normalized confusion matrix:\n",
       "  actual       False     True \n",
       "expected                    \n",
-      "False     0.333333  0.666667\n",
-      "True      0.000000  1.000000\n"
+      "False     0.666667  0.333333\n",
+      "True      0.590909  0.409091\n"
      ]
     }
    ],
    "source": [
-    "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/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)"
    ]