發現一個小bug bdd> bsetv 2 1 bdd> brep -4294967295 [2](+) [0](+) [0](-) (*) ==> Total #BddNodes : 2 這是因為getBddNode(unsigned id)中的id會把-4294967295轉成1 不過只是提出來而已,應該沒需要改XD ※ 引述《ric2k1 (Ric)》之銘言： : ※ 引述《Ultor (m(_ _)m)》之銘言： : : 有點不懂這兩個在用法上的區別 : : 是說 bddNode 只能有 varName 或是 gateID 之中的一個嗎 : : 然後我剛剛在 ref program 打 : : bsetv 1 4 <= 這行OK : : brep 4 : : 但是他說 illegal option (4) : : 不過 brep 不是吃 bddName 嗎 所以應該也可以吃 gateID? : : 還是我哪裡弄錯了 orz : 已修正 ref program 的 bug, 等一下上傳... : : 然後一個問題 gateID 不是應該要是一個非負整數嗎 .. : : 但是我打 bsetv 1 -4 的話沒有任何 error @_@ .. : 已修正 : : 如果是 : : bsetv 1 3 <= OK : : bsetv 2 4 <= OK : : band a 3 4 <= illegal option (3) : : 囧... : XD 也已修正 : : 還有一個是 : : isValidBddName : : 只有判斷是不是 validVarName 或是 是不是數字 : : 但是如果是負的也會 return true...?? : yes, you need to judget it by yourself. --

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