search

utwente-fmt / dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
http://fmt.ewi.utwente.nl/tools/dftcalc/
MIT License
12 stars 6 forks source link

Broken support for PAND #13

Closed hobborg closed 5 years ago

hobborg commented 5 years ago

I cannot run analyses for DFTs with PAND gates with any backend. The issue seems to be in the translation done by dft2lntc.
To reproduce, call with options -t 10 -p on the following DFT:

toplevel "TLE";
"TLE" pand "B1" "B2";
"B1" lambda=5.11e-5;
"B2" lambda=1.11e-4;

I get the following warnings and errors:

~$ dftcalc -t 10 foo.dft -p
:: ** OUTPUT of foo.0.dft2lntc.out **
:error:
:: ** END output of foo.0.dft2lntc.out **
:: ** OUTPUT of foo.0.dft2lntc.err **
:error::: Running dft2lntc...
/home/hobborg/UT/repos/DFT_benchmarks/other/fault_trees/foo.dft:2.1-21:warning:Unable to create AUT file for this node: `TLE'
/home/hobborg/UT/repos/DFT_benchmarks/other/fault_trees/foo.dft:3.1-20:error:Could not generate BCG file `be_cold_aa.bcg' for node type `be'
:: Finished. 1 errors and 1 warnings.
hobborg commented 5 years ago

Reproduced also in DFTCalc built without CADP