推 ric2k1:Thanks. Fixed. Please see the next post. 06/20 01:33
在執行ref時(./bdd -f ../dofiles/do.C17)出現以下訊息：
bdd> bdraw 12 ../testcases/12.dot
Illegal option!! (12)
bdd> bdraw 13 ../testcases/13.dot
Illegal option!! (13)
這個應該不是正確輸出吧
麻煩教授了 <(_ _)>
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.243.178