Released vs. next version inconsistencies
Hi! I ran into some inconsistencies, when running the same things in the version released as conda package and the version compiled from git next branch.
The first problem is that the conda version of autfilt
can process an automaton which the next version cannot.
The second issue is that the conda version of spot.contains()
(Python binding) returns different value than the next version.
I attach two zip files containing all the necessary files and script
outputs of me running the commands.