※ 引述《BLD ()》之銘言：
: 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>" ?
Yes. Please refer to post 425 or some earlier discussion on this.
Anyway, there are some imperfections on the "bsetv" command options and I
will NOT test your program with "ambiguous" usage of the bsetv command.
For example, I will not use "bsetv -PI" and "bsetv <level> <inputName"
together in the test script.
: 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>
I will NOT test your program in such scenario.
: 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
Thanks, and I have updated the ref program.
The libcir.a in bdd.tgz has also been updated.If you don't want to download
the whole bdd.tgz again, you can just download "lib-011707.tgz".
I will update the website right now...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.128.158