Doc update

uds-se · Jan 7, 2025 · 270defd · 270defd
1 parent d1254eb
commit 270defd
Show file tree

Hide file tree

Showing 16 changed files with 2,560 additions and 2,287 deletions.
diff --git a/docs/beta/code/Alhazen.py b/docs/beta/code/Alhazen.py
@@ -3,7 +3,7 @@
 
 # "Learning from Failures" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Alhazen.html
-# Last change: 2025-01-07 10:36:36+01:00
+# Last change: 2025-01-07 11:04:38+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors
@@ -76,10 +76,10 @@
 There is also a text version available, with much fewer (but hopefully still essential) details:
 
 >>> print(alhazen.friendly_decision_tree())
-if  <= 3.5000:
-  if  == 'sqrt':
-    if  <= -11.0000:
-      if  <= 72.9000:
+if  <= 4.5000:
+  if  <= 42.1500:
+    if  == 'sqrt':
+      if  <= -11.9137:
         BUG
       else:
         NO_BUG
@@ -2002,7 +2002,9 @@ def friendly_decision_tree(self, tree = None):
     print(alhazen.friendly_decision_tree())
 
 import inspect
-print(inspect.getsource(task_sqrt))
+
+if __name__ == '__main__':
+    print(inspect.getsource(task_sqrt))
 
 ## Lessons Learned
 ## ---------------

diff --git a/docs/beta/code/Tours.py b/docs/beta/code/Tours.py
@@ -3,7 +3,7 @@
 
 # "Tours through the Book" - a chapter of "The Debugging Book"
 # Web site: https://www.debuggingbook.org/html/Tours.html
-# Last change: 2025-01-07 10:34:29+01:00
+# Last change: 2025-01-07 11:01:55+01:00
 #
 # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security
 # Copyright (c) 2018-2020 Saarland University, authors, and contributors

diff --git a/docs/beta/dist/debuggingbook-1.2.4.tar.gz b/docs/beta/dist/debuggingbook-1.2.4.tar.gz
diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip
diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip
diff --git a/docs/beta/html/00_Table_of_Contents.html b/docs/beta/html/00_Table_of_Contents.html
@@ -12311,7 +12311,7 @@ <h4 id="Inspecting-Call-Stacks"><a href="StackInspector.html">Inspecting Call St
 The content of this project is licensed under the
 <a href="https://creativecommons.org/licenses/by-nc-sa/4.0/" target=_blank>Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License</a>.
 The source code that is part of the content, as well as the source code used to format and display that content is licensed under the <a href="https://github.com/uds-se/debuggingbook/blob/master/LICENSE.md#mit-license">MIT License</a>.
-<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/00_Table_of_Contents.ipynb" target=_blank)>Last change: 2025-01-07 10:37:54+01:00</a> &bull; 
+<a href="https://github.com/uds-se/debuggingbook/commits/master/notebooks/00_Table_of_Contents.ipynb" target=_blank)>Last change: 2025-01-07 11:05:13+01:00</a> &bull; 
 <a href="#citation" id="cite" onclick="revealCitation()">Cite</a> &bull;
 <a href="https://cispa.de/en/impressum" target=_blank>Imprint</a>
 </p>
@@ -12327,7 +12327,7 @@ <h4 id="Inspecting-Call-Stacks"><a href="StackInspector.html">Inspecting Call St
 <a name="citation"></a>
 <h2>How to Cite this Work</h2>
 <p>
-Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">The Debugging Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html</a>.  Retrieved 2025-01-07 10:37:54+01:00.
+Andreas Zeller: "<a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">The Debugging Book</a>".  In Andreas Zeller, "<a href="https://www.debuggingbook.org/beta/">The Debugging Book</a>", <a href="https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html">https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html</a>.  Retrieved 2025-01-07 11:05:13+01:00.
 </p>
 <pre>
 @incollection{debuggingbook2025:00_Table_of_Contents,
@@ -12337,9 +12337,9 @@ <h2>How to Cite this Work</h2>
     year = {2025},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html}},
-    note = {Retrieved 2025-01-07 10:37:54+01:00},
+    note = {Retrieved 2025-01-07 11:05:13+01:00},
     url = {https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html},
-    urldate = {2025-01-07 10:37:54+01:00}
+    urldate = {2025-01-07 11:05:13+01:00}
 }
 </pre>
 </div>

diff --git a/docs/beta/html/Alhazen.html b/docs/beta/html/Alhazen.html
diff --git a/docs/beta/notebooks/00_Index.ipynb b/docs/beta/notebooks/00_Index.ipynb
@@ -2,23 +2,23 @@
  "cells": [
   {
    "cell_type": "markdown",
-   "id": "75cc2775",
+   "id": "61fe74c6",
    "metadata": {},
    "source": [
     "# Index"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "39d8bebb",
+   "id": "b405819d",
    "metadata": {},
    "source": [
     "## A - E"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "73da311c",
+   "id": "42e17603",
    "metadata": {},
    "source": [
     "### A\n",
@@ -86,7 +86,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "79a490af",
+   "id": "17f51e67",
    "metadata": {},
    "source": [
     "### B\n",
@@ -120,7 +120,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "41c163aa",
+   "id": "4efb0753",
    "metadata": {},
    "source": [
     "### C\n",
@@ -230,7 +230,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "8451f6ec",
+   "id": "5b3d37aa",
    "metadata": {},
    "source": [
     "### D\n",
@@ -295,7 +295,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "dd4a32b8",
+   "id": "e1cc71ea",
    "metadata": {},
    "source": [
     "### E\n",
@@ -345,15 +345,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "16ae8948",
+   "id": "748b21e4",
    "metadata": {},
    "source": [
     "## F - J"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "623647cb",
+   "id": "335df272",
    "metadata": {},
    "source": [
     "### F\n",
@@ -418,7 +418,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "27a53d2a",
+   "id": "428928c2",
    "metadata": {},
    "source": [
     "### G\n",
@@ -459,7 +459,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "0848f1c2",
+   "id": "f3122fd1",
    "metadata": {},
    "source": [
     "### H\n",
@@ -479,7 +479,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "e739d147",
+   "id": "fd17624c",
    "metadata": {},
    "source": [
     "### I\n",
@@ -530,7 +530,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "daeae6c7",
+   "id": "738169a6",
    "metadata": {},
    "source": [
     "### J\n",
@@ -543,15 +543,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "e8e84dd6",
+   "id": "aa649125",
    "metadata": {},
    "source": [
     "## L - P"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "f0e23fb3",
+   "id": "11b44d25",
    "metadata": {},
    "source": [
     "### L\n",
@@ -579,7 +579,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "5cd32ed8",
+   "id": "924759d7",
    "metadata": {},
    "source": [
     "### M\n",
@@ -656,7 +656,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "a489c96a",
+   "id": "abeee79c",
    "metadata": {},
    "source": [
     "### N\n",
@@ -688,7 +688,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "972b607f",
+   "id": "9a63d707",
    "metadata": {},
    "source": [
     "### O\n",
@@ -709,7 +709,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "2207ec0e",
+   "id": "ecb72c13",
    "metadata": {},
    "source": [
     "### P\n",
@@ -769,15 +769,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "699bfaa1",
+   "id": "af3f88d1",
    "metadata": {},
    "source": [
     "## Q - U"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "f3db19ba",
+   "id": "e8494f3f",
    "metadata": {},
    "source": [
     "### Q\n",
@@ -790,7 +790,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "83f28912",
+   "id": "e85d0803",
    "metadata": {},
    "source": [
     "### R\n",
@@ -871,7 +871,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "a71deb10",
+   "id": "624c7d96",
    "metadata": {},
    "source": [
     "### S\n",
@@ -966,7 +966,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "bdf8da76",
+   "id": "4c71dd7a",
    "metadata": {},
    "source": [
     "### T\n",
@@ -1054,7 +1054,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "db63b100",
+   "id": "f0b37e8a",
    "metadata": {},
    "source": [
     "### U\n",
@@ -1072,15 +1072,15 @@
   },
   {
    "cell_type": "markdown",
-   "id": "e64796e5",
+   "id": "e286c4a9",
    "metadata": {},
    "source": [
     "## V - Y"
    ]
   },
   {
    "cell_type": "markdown",
-   "id": "26d86f19",
+   "id": "d7dfcf3f",
    "metadata": {},
    "source": [
     "### V\n",
@@ -1129,7 +1129,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "50bb0233",
+   "id": "7e009e81",
    "metadata": {},
    "source": [
     "### W\n",
@@ -1149,7 +1149,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "a4d85d2f",
+   "id": "13492c04",
    "metadata": {},
    "source": [
     "### X\n",
@@ -1159,7 +1159,7 @@
   },
   {
    "cell_type": "markdown",
-   "id": "9b5a315f",
+   "id": "16a291e0",
    "metadata": {},
    "source": [
     "### Y\n",