Patch candidate for fixing issue about decrementation.

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

http://kappalanguage.org/

GNU Lesser General Public License v3.0

113 stars 41 forks source link

Patch candidate for fixing issue about decrementation. #639

Closed feret closed 3 years ago

feret commented 3 years ago

Bug #638

There is a link id collision when another counter is used after a counter decrementation. This is due to a wrong count of inserted fictitious agents. As far as I understand, delta is involved only when positive. I corrected the formula accordingly.

pirbo commented 3 years ago

Thank you ! I hope to remember correctly because I'm very rusty but I agree with you!

feret commented 3 years ago

Thank you @pirbo!!!