From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 25 Jul 2014 10:16:23 +0000 (+0200)
Subject: Added more stuff to checklist
X-Git-Tag: yosys-0.4~436
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a8706b73a2c14c6b34e4fb7136866c0bc959acbb;p=yosys.git

Added more stuff to checklist
---

diff --git a/CHECKLIST b/CHECKLIST
index 7fcdd8e9e..35de389be 100644
--- a/CHECKLIST
+++ b/CHECKLIST
@@ -31,6 +31,10 @@ Run all tests with "make config-{clang-debug,gcc-debug,gcc-4.7,release}":
 
 Then with default config setting:
 
+	cd ~yosys
+	./yosys -p 'proc; show' tests/simple/fiedler-cooley.v
+	./yosys -p 'proc; opt; show' tests/simple/fiedler-cooley.v
+
 	cd ~yosys
 	make manual
 	- sanity check the figures in the appnotes and presentation