search

rakhimov / scram

Probabilistic Risk Analysis Tool (fault tree analysis, event tree analysis, etc.)
https://scram-pra.org
GNU General Public License v3.0
131 stars 54 forks source link

collect-formula instruction misses ATLEAST connective min-number #257

Closed rakhimov closed 6 years ago

rakhimov commented 6 years ago

Upon cloning and collecting formulas in event-tree traversal, 'atleast' connectives' min-number property is getting sliced in copy.