search

LearnLib / automatalib

A free, open-source Java library for modeling automata, graphs, and transition systems
http://automatalib.net
Apache License 2.0
92 stars 34 forks source link

feed an LTL formula to LTSMin via a file #53

Closed MasWag closed 1 year ago

MasWag commented 2 years ago

Due to the limitation of OS, long LTL formulas cannot be fed via the command line. This PR modifies to feed LTL formulas via a temporary file so that long LTL formulas can also be fed to LTSMin.

mtf90 commented 1 year ago

PR looks good to me now. The error in the CI pipeline is related to changes in ADDLib (of which we use a development version currently). I'm already in talks with the developers and will merge this PR once everything is resolved so that we have a nice commit with valid checks.

mtf90 commented 1 year ago

The ADDLib related issue has been fixed upstream