From bc19349c4fea709a83c83b20be8fad2e2026e127 Mon Sep 17 00:00:00 2001 From: Yanju Chen Date: Sun, 3 Mar 2024 00:37:33 -0800 Subject: [PATCH] rebase --- tests/test4.ipynb | 48 ++++++++++++++++++++++++++++++++--------------- 1 file changed, 33 insertions(+), 15 deletions(-) diff --git a/tests/test4.ipynb b/tests/test4.ipynb index ae5fa4f..9a9642c 100644 --- 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)" ]