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

Missing "end:" identifier in dftcalc.cpp and dfttest.cpp #17

Open technomage321 opened 7 months ago

technomage321 commented 7 months ago

In the master branch, there is a missing "end:" tag in the following files when compiling in the CADP library:

dftcalc.cpp (between lines 268 and 269) dfttest.cpp (between lines 250 and 251)

ennoruijters commented 7 months ago

Thank you for reporting this issue, I have added a fix to master. I no longer have a CADP license to test with, so I can only hope it works now.

technomage321 commented 7 months ago

It compiles and runs fine with those two lines added :-)