Hi Kerrache,

Kerrach Massipssa wrote:

I would to ask you a question about Checkpn. I compiled Spot (last version) and for Checkpn I do it like this : ./configure --with-spot=/usr/local/

And for make I get an error in main.cpp at this ligne spot::ltl::formula* f = spot::ltl::parse(ltl_string, pel); In fact I just add const to correct the error. But i get another error which i don't understand : /usr/local//include/spot/tgbaalgos/reachiter.hh:102: undefined reference to `spot::tgba_reachable_iterator::~tgba_reachable_iterator()'

Could you help me to solve the problem ? And thank you in advance for response.

CheckPN is not working with any recent version of Spot, and not really maintained. The issue is tracked at https://gitlab.lrde.epita.fr/spot/spot/issues/19

If you really need it and are unable to fix it, I think your best bet is use older versions of Spot :-(