automatalib icon indicating copy to clipboard operation
automatalib copied to clipboard

Published 20 hours ago • verified publisher icon LearnLib

feed an LTL formula to LTSMin via a file

Open MasWag opened this issue 2 years ago • 0 comments

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.

MasWag avatar Jul 06 '22 10:07 MasWag