[問題] simplify strash fraig 的 output

[TommyKSHS (湯米)]

請問 strash 還有 fraig 的 output 就像 spec 上面要求的那樣就好了嗎？

還是要像 ref 一樣印出

strashing: XXX merging YYY ...

Fraig: ZZZ merging AAA ...

…

等等的訊息？？

還有 如果有做 simplify 的話，要印在螢幕上嗎？

 ( Simplifying: BBB merging CCC ...)

--
╭═══╤═══╮                       ╰═╮      ╭═╯
│      │      │╭═和平，土地，麵包═╮   │      │
        │  ╭═╧╧╮╤═╤═╮═╤═╤╧╮ │      │
        │  │      ││  │  │  │  │  │ ╰═╤═╯
        │  │      ││  │  │  │  │  │     │
      ╰╧╯╰═══╯╰  ╰  ╰  ╰  ╰  ╰   ─╯

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.244.6
推 ric2k1:這些訊息只是 FYI, 不用跟 ref prog 一樣
→ TommyKSHS:所以主要是和 spec 要一樣囉？
→ TommyKSHS:那 spec 的 fraig 是的 eq 還有 non-eq 是只對 fec 而言
→ TommyKSHS:嗎？還是對整個電路的所有 gate ?
推 ric2k1:你是指 spec 的哪一條?
→ TommyKSHS:就是 2.6 Command 'CIRFraig'
推 seanlatias:我都有寫耶XD
推 ric2k1:哈哈! 我自己是不是忘記 report 這個了!?
→ ric2k1:不過每個人證出的數目很難一樣，基本上我們不會比這個，
→ ric2k1:請參考 3032 篇的 grading criteria...