24 Jun
2015
24 Jun
'15
6:25 p.m.
Hi Maximilien,
On Wed, Jun 24, 2015 at 4:43 PM, Colange Maximilien
<maximilien.colange(a)unige.ch> wrote:
I tested the new version of Spot.
Thank you for the feedback.
The libspotltsmin is marked as "noinst" in
the Makefile.am, and thus does
not install when running make install.
In previous versions, libspotdve2 was installed, so I suppose it is a bug.
Do you use/need it?
I removed the library to get rid of the warning with the Debian
packages and because
I noticed that the associated binary (now called modelcheck) was not
installed (and is
not good enough to be installed IMHO). And I assumed nobody would
even notice :-)
But now I see that ltsmin.hh is still installed; so that's definitely
incoherent.
Either I should not install ltsmin.hh, or I should install
libspotltlmin.so as well (in
a separate Debian package I guess).
Side note: this new version is nice (especially the
smart pointers).
Yet, the documentation for accepting conditions API is incomplete, but I
guess it is on the TODO list for the 2.0.
Yes. There is some information about the internal encoding used on the page
https://spot.lrde.epita.fr/hoa.html#sec-3-2
but currently the API has to be cleaned up and documented. If you have some
idea of short acceptance-related tasks that could be used as examples on
https://spot.lrde.epita.fr/tut.html
and that would be useful to you, please let me know.
--
Alexandre Duret-Lutz