作者:
ypf791 (路人1號)
2012-12-22 16:44:23好像不只是印不出 ! 這麼簡單....
fraig> cirr tests.fraig/sim10.aag
fraig> ciropt
這裡的訊息先不管
fraig> cirstr
這裡也是
fraig> cirg 333 -fani 1
AIG 333
!AIG 276
AIG 276
這裡應該會發生 known problem
fraig> cirg 276 -fano 1
前面省略
!AIG 333
AIG 660
AIG 666
AIG 675
AIG 682
!AIG 333