Here is some more information in case anyone wants to investigate this issue further: https://github.com/YosysHQ/SymbiYosys/issues/54#issuecomment-532650108 ….
Show this thread
Authors of "academic model checkers": I know that the competition does not contain trivial problems. But your tool is useless in the real world if it segfaults on trivial problems. On a totally unrelated topic: Any objections if I drop support for AVY in SymbiYosys? Grr..
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I don't use it, so no objection from me. But that's a biased opinion. Perhaps make a poll :P? That being said, looks like according to SymbiYosys docs, AVY is the only supported AIGER backend that can't do liveness analysis, so... no big loss?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.