推 ric2k1:This is a known bug. Please see post #1422 06/24 15:50
就是如果我輸入了兩次不同的電路
>cirr C499.aag
>cirsetv -file
>cirb -all
>cirr C432.aag
>cirsetv -file
他會輸出waring然後把bdd reset
但是ref並不會耶 這部分不是老師寫的嗎@@?
請問這是怎麼回事阿??
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.199.184