snakes
snakes copied to clipboard

fpom

→

Metadata

SNAKES is the Net Algebra Kit for Editors and Simulators

Reame
Issues

Results 1 snakes issues

Sort by recently updated

Inhibitor arc is throwing exception

Unfortunately commit 13f8c40ab184bf0d2208b70288095825edb4fccc part of d79ddb0 introduced a bug to `class Inhibitor`. In case where a place is unmarked the example `Inhibitor(Variable("x")).check(Substitution(x=1), MultiSet([1, 2, 3]))` becomes `Inhibitor(Variable("x")).check(Substitution(), MultiSet([]))` and `class...

m-h-b-tu