[問題] error message

[eorlthexiv (伊歐)]

bdraw 14 14.dot      //假設gateID只有到13

ref的結果是:
Error: "14" is not a legal BDD node!!
Illegal option!! (14.dot)

但是第二行應該是Illegal option!! (14)比較合理

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 220.137.70.145