[問題] reportFanout

[ypf791 (路人1號)]

my.aag:

aag 5 2 0 2 2
2
6
4
9
4 2 11
8 10 6
c
check floating input netlist

------

./cirTest

cir> cirr my.aag

cir> cirg 5 -fano 2

------

這樣的話 ref 的確會印出 AIG(2) 和 AIG(4)
但是 5 號卻是個 undefined gate
請問我們可以直接讓他回報錯誤嗎

------

in pdf:

Optionally, if a floating fanin ID is issued by this command, you can either
report
“Error: Gate(gateId) not found!!”, or print out as follows:

但他下面的舉例是用 cirg 6 為例子
不知道如果是 cirg 6 -fano 2 這種情況是不是也可以?
------

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.4.192
推 david942j:直接輸出比較簡單(?) 就不用特別判UNDEF了
推 ric2k1:雖然我個人比較 prefer 把 fanout print 出來 (debug 容易)
→ ric2k1:但我 spec 那樣說的意思就是沒有關係，你可以直接 Error
→ ypf791:如果沒有開 UNDEF gate 的話 fanout 什麼的無比艱困....
推 ric2k1:我了解，所以我說這點是 optional