Crashes on benchmarks with outputs with Upper-case letters
5nizza opened this issue · comments
During the parsing, I call syfco -f ltlxba
but this lower-cases all signal names. Then I also use syfco -ins
which does not lower-case the names. The result: they don't agree on the names.
(thanks to Michaël for discovering this)
was fixed in the branch reg-trans
in the commit 0993eac and will be merged into the master branch later.
As a solution, I used syfco -f ltl -m fully
instead of syfco -f ltlxba -m fully
.
Alternative: use
syfco -f ltlxba -ins
instead of
syfco -f -ins
was fixed and propagated to the master branch