diff --git a/notebooks/DynamicInvariants.ipynb b/notebooks/DynamicInvariants.ipynb index d83d313b..2ee6ff0f 100644 --- a/notebooks/DynamicInvariants.ipynb +++ b/notebooks/DynamicInvariants.ipynb @@ -1440,7 +1440,7 @@ " return ast.copy_location(\n", " ast.FunctionDef(node.name, new_arguments,\n", " node.body, node.decorator_list,\n", - " node.returns), node)" + " node.returns), node) # type: ignore" ] }, { diff --git a/notebooks/PICS/Alhazen-synopsis-1.png b/notebooks/PICS/Alhazen-synopsis-1.png index 8dcbc76f..396ade1f 100644 Binary files a/notebooks/PICS/Alhazen-synopsis-1.png and b/notebooks/PICS/Alhazen-synopsis-1.png differ diff --git a/notebooks/PICS/Alhazen-synopsis-1.svg b/notebooks/PICS/Alhazen-synopsis-1.svg index 0aaea204..b5e8c2a9 100644 --- a/notebooks/PICS/Alhazen-synopsis-1.svg +++ b/notebooks/PICS/Alhazen-synopsis-1.svg @@ -4,114 +4,238 @@ - - + + Tree - + 0 - -<term> <= -11.5 -gini = 0.5 -samples = 997 -value = [1.0, 1.0] -class = BUG + +<lead-digit> <= 3.5 +gini = 0.5 +samples = 1433 +value = [1.0, 1.0] +class = BUG 1 - -<term> <= -42.4 -gini = 0.38 -samples = 371 -value = [1.0, 0.342] -class = BUG + +<function> == 'sqrt' <= 0.5 +gini = 0.343 +samples = 435 +value = [0.982, 0.276] +class = BUG 0->1 - - -True + + +True - - -8 - -gini = -0.0 -samples = 626 -value = [0.0, 0.658] -class = NO_BUG - - - -0->8 - - -False + + +10 + +<lead-digit> == '4' <= 0.5 +gini = 0.048 +samples = 998 +value = [0.018, 0.724] +class = NO_BUG + + + +0->10 + + +False 2 - -gini = 0.0 -samples = 276 -value = [0.0, 0.29] -class = NO_BUG + +gini = -0.0 +samples = 221 +value = [0.0, 0.16] +class = NO_BUG 1->2 - - + + - + -5 - -<function> == 'sqrt' <= 0.5 -gini = 0.095 -samples = 95 -value = [1.0, 0.053] -class = BUG - - +3 + +<term> <= -11.708 +gini = 0.189 +samples = 214 +value = [0.982, 0.116] +class = BUG + + -1->5 - - +1->3 + + - + -6 - -gini = -0.0 -samples = 50 -value = [0.0, 0.053] -class = NO_BUG +4 + +<term> <= -73.9 +gini = 0.07 +samples = 105 +value = [0.982, 0.037] +class = BUG - + -5->6 - - +3->4 + + - + 7 - -gini = -0.0 -samples = 45 -value = [1.0, 0.0] -class = BUG + +gini = 0.0 +samples = 109 +value = [0.0, 0.079] +class = NO_BUG + + + +3->7 + + + + + +5 + +gini = 0.0 +samples = 51 +value = [0.0, 0.037] +class = NO_BUG - + -5->7 - - +4->5 + + + + + +6 + +gini = -0.0 +samples = 54 +value = [0.982, 0.0] +class = BUG + + + +4->6 + + + + + +11 + +gini = -0.0 +samples = 908 +value = [0.0, 0.659] +class = NO_BUG + + + +10->11 + + + + + +12 + +<integer> <= 40.5 +gini = 0.343 +samples = 90 +value = [0.018, 0.065] +class = NO_BUG + + + +10->12 + + + + + +13 + +<term> == '<value>' <= 0.5 +gini = 0.277 +samples = 6 +value = [0.018, 0.004] +class = BUG + + + +12->13 + + + + + +16 + +gini = -0.0 +samples = 84 +value = [0.0, 0.061] +class = NO_BUG + + + +12->16 + + + + + +14 + +gini = 0.0 +samples = 1 +value = [0.018, 0.0] +class = BUG + + + +13->14 + + + + + +15 + +gini = 0.0 +samples = 5 +value = [0.0, 0.004] +class = NO_BUG + + + +13->15 + + diff --git a/notebooks/Tracer.ipynb b/notebooks/Tracer.ipynb index 8b67de74..4995c82e 100644 --- a/notebooks/Tracer.ipynb +++ b/notebooks/Tracer.ipynb @@ -2108,7 +2108,7 @@ " body=[subtree_to_be_injected] + node.body,\n", " decorator_list=node.decorator_list,\n", " returns=node.returns\n", - " )" + " ) # type: ignore" ] }, { @@ -2199,7 +2199,7 @@ "toc": true }, "kernelspec": { - "display_name": "Python 3 (ipykernel)", + "display_name": "3.10.2", "language": "python", "name": "python3" },