作者ckaha (★閃亮數學推理★)
看板EE_DSnP
標題[問題] 找了好久
時間Tue Jun 24 22:48:44 2008
我發現一個問題
當我要測試C432
執行到cirsetv -file
他就會幫我把bddMgr reset()
所以更不用說接下來的的東西
可是我現在真的不知道為什麼會這樣
我看了CIRSETVar
裡面這行if (cirMgr->isBddVarOrderSet()) {
他會回傳ture
然後清掉
可是當我執行cirr這個裡面也有同樣的東西
他卻是回傳false 所以不會終止讀取
這兩個指令明明只是後順序不同的下
可是卻是不同的狀況
並且C17不會有同樣的問題 @@
好怪
--
Every thing can be w
rong unless you can proof it is
true.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 125.225.140.46
※ 編輯: ckaha 來自: 125.225.140.46 (06/24 22:49)