should we issue an error if I use "bsetv -PI" after set the input name of
circuit as a variable by use "bsetv <level> <inputName>" ?
in reference program:
[b2901073@ccws8 bdd]$ ~ric/bdd
bdd> bsetv 20 1GAT
bdd> cread testcases/C17.cir
Circuit name: C17
==============================
Inputs 5
Outputs 2
Inverters 1
And gates 4
Or gates 2
==============================
Total 14
bdd> bsetv -pi -rf
Illegal option!! (-rf)
bdd>
and reference program has an error:
bdd> cread xxx
Error: Cannot open design "xxx"!!
bdd> cread testcases/C17.cir
Error: circuit has been read!!
i think we still can read a circuit after failing to read a inexistent file
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.248.149