No change

notebooks/APIFuzzer.ipynb

@@ -1233,7 +1233,8 @@
    "toc_position": {},
    "toc_section_display": true,
    "toc_window_display": true
-  }
+  },
+  "toc-autonumbering": false
  },
  "nbformat": 4,
  "nbformat_minor": 2

notebooks/GrammarCoverageFuzzer.ipynb

@@ -611,7 +611,9 @@
   },
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "toc-hr-collapsed": true
+   },
    "source": [
     "## Deep Foresight\n",
     "\n",
@@ -1061,7 +1063,9 @@
   },
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "toc-hr-collapsed": true
+   },
    "source": [
     "## Code Coverage via Grammar Coverage\n",
     "\n",
@@ -1310,7 +1314,9 @@
   },
   {
    "cell_type": "markdown",
-   "metadata": {},
+   "metadata": {
+    "toc-hr-collapsed": true
+   },
    "source": [
     "### Will this always work?\n",
     "\n",
@@ -1342,6 +1348,16 @@
     "In these cases of \"deep\" data processing, achieving coverage in the grammar will not necessarily induce code coverage.  We still can make use of the grammar to produce _valid_ inputs, but will have to rely on chance and patience to cover functionality and trigger bugs.  _Some_ parts of the input, though, can still be covered: _Metadata_ (such as author name or composer for the media player) or _configuration data_ (such as settings for the machine learner) can and should be covered systematically; we will see how this is done [in the chapter on \"Configuration fuzzing\"](ConfigurationFuzzer.ipynb)."
    ]
   },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "## Coverage in Context\n",
+    "\n",
+    "\\todo{Discuss how to achieve coverage in various (grammar) context.}\n",
+    "\\todo{Some change}"
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {
@@ -1613,7 +1629,9 @@
    "toc_position": {},
    "toc_section_display": true,
    "toc_window_display": true
-  }
+  },
+  "toc-autonumbering": false,
+  "toc-showmarkdowntxt": false
  },
  "nbformat": 4,
  "nbformat_minor": 2

src/pip-delete-this-directory.txt

@@ -0,0 +1,5 @@
+This file is placed here by pip to indicate the source was put
+here by pip.
+
+Once this package is successfully installed this source code will be
+deleted (unless you remove this file).