Jaco van de Pol
Jaco van de Pol
Error-trace exploration crashes with an error about GC exceeded. This happened on a trace of 735 steps long. There are other issues with the interface as well: - scrolling through...
I am trying to install Sylvan in a non-standard location. I change `CMAKE_INSTALL_PREFIX=/home/user` using ccmake However, the change is not reflected in the dependency `lace`. So `make install` still tries...
The "merging" code assumes that the inclusion code is enabled. So during option parsing, -merge should trigger -comparison=inclusion. Currently, -merge gives a wrong result on the following specification, while -merge...
[erk1.pnml.txt](https://github.com/utwente-fmt/ltsmin/files/13380407/erk1.pnml.txt) Dear LTSmin Support Team, I hope this email finds you well. I am writing to report an issue that I encountered while using the pnml2lts-mc tool from the LTSmin...
LTSmin chooses --ratio=2 on default, and produces an error with the following command (this happens on caserta; on westervlier the command is going fine). pnml2lts-mc --threads=64 --por --ltl=LTL/problem101_1.ltl --edge-label=name problem101.pnml...
There is a lot of information on installing, but a step-by-step guide is missing. There are also some issues: - installation for end-users should be separately described, see also issue...
To use LTSmin, I needed a few extra steps: (1) rather standard: wget https://github.com/utwente-fmt/ltsmin/releases/download/v3.0.2/ltsmin-v3.0.2-linux.tgz tar xzvf ltsmin-v3.0.2-linux.tgz mv v3.0.2 ltsmin-v3.0.2 (2) For dve and promela, we need to add divine...
Assets, like ltsmin-v3.0.2-linux.tgz should contain the examples directory.
The option --filter is described in the manpage, but it is not clear that you can give it value "action_labels". This option is currently necessary, since LTSmin adds the guards...
The manpages at http://ltsmin.utwente.nl/assets/man/ need to be refreshed since they are behind. Several of the newest options are missing.