diff --git a/docs/db_dev_process/overview.rst b/docs/db_dev_process/overview.rst index 78bd77ca..049b6efb 100644 --- a/docs/db_dev_process/overview.rst +++ b/docs/db_dev_process/overview.rst @@ -35,6 +35,8 @@ Looking at the implemented design in Vivado with "Show Routing Resources" turned Minitests ^^^^^^^^^ +Minitests are experiments to figure out how things work. They allow us to understand how to better write new fuzzers. + .. toctree:: :maxdepth: 1 :caption: Current Minitests