[問題] spec

[puerpuella (柏亨)]

想請問一下spec有些跟ref program不一樣的地方

p.11 ref program的output長這樣子：

PO 25
  !AIG 23
    !AIG 16
      PI 2
      !AIG 11
        PI 3
        PI 6
    !AIG 19
      !AIG 11 (*)
      PI 7

還有重複作strash時好像沒有印erroe message的樣子？

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.245.114
推 scuendless:我也有這樣的問題 原本的版本要把要不要print"!"傳下去
推 ric2k1:Ref program 是對的! Spec 忘記更正了... 等一下上傳新的