Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
GNU Lesser General Public License v3.0
112
stars
41
forks
source link
Default value for Inverted counters is not set properly. #685
Closed
feret closed 7 months ago
Check with:
First rule is compiled into: A(c{=0} c__inverted{=0})+ @ 1
instead of: A(c{=0} c__inverted{=7})+ @ 1