From 6c976ba3559a2c78c6b3bc9cf9ecb1e40eca12bf Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 13 Feb 2020 23:18:03 +0000
Subject: [PATCH]

---
 HDL_workflow.mdwn | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index b6793f946..6aba07753 100644
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -448,6 +448,9 @@ for actual code development
 * plan in advance to write not just code but a full test suite for
   that code.  **this is not optional**. large python projects that do not
   have unit tests **FAIL** (see separate section below).
+* Prioritise writing formal proofs and a single clear unit test that is more like a "worked example".
+  We receive NLNet funds for writing formal proofs, plus they
+cover corner cases and take far less time to write
 
 ### Commit tested or zero-dependent code
 
-- 
2.30.2