[請益] 重複讀取電路建立BDD...

[a3785lexx (Alex)]

        天啊我覺得自己好像這兩天問題連發...

        事情是這樣的...

        剛剛又在寫測資，想要檢查看看自己cirBdd到底是不是對的...

        可是發現其實好像沒有辦法不q -f的情況下

        一直cirr -r不同的電路來cirbdd？？



        我發現問題都會出在cirsetv上面

        常常會有PI沒有辦法成功建立

        所以cirBdd的時候，PI的bdd node會有還是0的情況

        我的會經過assert中斷，就不能繼續了

        ref program會收到程式區段錯誤

        總之就是不能一個小dofile作完多個電路就是了

        不過為甚麼cirsetv偶爾會fail呢？？

        是因為只有_bddArr.clear()其實還不夠嗎XD？？

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 114.37.83.114
→ a3785lexx:順帶一提今天這裡人氣好旺啊XD
推 dryman:問題連發加一（握）  話說因為沒寫reset()卡關卡超久orz..
推 ric2k1:你的 BddMgr::reset() 有寫對嗎? 有沒有 delete 掉所有的
→ ric2k1:BddNodeInt* 呢?
推 dryman:BddMgr::reset()沒寫的話_zero, _one, _support會出錯:p
→ a3785lexx:bddNodeInt*都delete了...ref prog也掛了所以我很好奇XD
推 ric2k1:ref prog 掛了? cirr -r 之後也許你要 breset...?
→ a3785lexx:不過cirsetv不是應該也會叫init()->reset()嗎？？
→ a3785lexx:所以不太明白它到底怎麼掛的...
推 ric2k1:我試了沒有掛啊... what's the dofile?
推 shang3572001:cirr -r以前沒有breset就會有error: pi not build是
→ shang3572001:正常的嗎..我的也有這問題...
推 ric2k1:I see. cirr -r 之後如果直接 cirb -all 就會 crash...
→ ric2k1:應該要 breset 後才能 cirsetv or cirb -all 的
→ ric2k1:這個 bug 以後再修. 大家先這樣用吧!
→ a3785lexx:其實重複同一個cirsetv就可以work了！
→ a3785lexx:雖然我不知道為甚麼是這樣XD