Added more stuff to checklist

diff --git a/CHECKLIST b/CHECKLIST
index 7fcdd8e9e8e0484802dd848273e81f5b0051b3c7..35de389be897060e7db010ea7dbc5dc7ce9319bb 100644 (file)
--- 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