Bug in ltsmin connector
Mostly for @renault, this test is badly written : https://gitlab.lrde.epita.fr/spot/spot/-/blob/next/spot/ltsmin/spins_interface.cc#L136
It should read :if (! *dst)
Some traces showing the patch :
Resolved get_indditial_state to function 0x519340
Resolved image is function 0
Resolved get_successors to function 0x519350
Resolved image is function 1
This is with additional code :
std::cout << "Resolved " << name << " to function " << dst << std::endl;
std::cout << "Resolved image is function " << *dst << std::endl;
Bref, I do wish I could just do a PR; but I can't fork to format it properly :/ Maybe if @adl is nice enough to upgrade my account ?
This patch solves message free SIGSEGV when loading an incorrect .so/.dve2C file e.g. in tests/modelchecking tool.
++ yann