Improved evolutionary fuzzing

uds-se · Oct 14, 2023 · 5be067e · 5be067e
1 parent bb56199
commit 5be067e
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/notebooks/PythonFuzzer.ipynb b/notebooks/PythonFuzzer.ipynb
@@ -3239,9 +3239,9 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "prev_best_fitness = 0\n",
+    "prev_best_fitness = -1\n",
     "for generation in range(GENERATIONS):\n",
-    "    sum_population = evolve(sum_population)\n",
+    "    sum_population = evolve(sum_population, min_fitness=prev_best_fitness)\n",
     "    sum_population = select(sum_population)\n",
     "    best_candidate, best_fitness = sum_population[0]\n",
     "    if best_fitness > prev_best_fitness:\n",
@@ -3254,6 +3254,16 @@
     "            break"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "id": "f7c4a787",
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "has_distributive_law(best_ast)"
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "8a712034",