alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Improve error messages when loading compiled models.

Browse source 
* spot/ltsmin/ltsmin.cc: Improve error messages.
This commit is contained in:
Maximilien Colange 2016-11-22 10:46:49 +01:00
parent c9aabcddab
commit fd2f79200f
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/ltsmin/ltsmin.cc
View file

@ -1017,9 +1017,10 @@ namespace spot
lt_dlhandle h = lt_dlopen(file.c_str()); lt_dlhandle h = lt_dlopen(file.c_str());
if (!h) if (!h)
{ {
std::string lt_error = lt_dlerror();
lt_dlexit(); lt_dlexit();
throw std::runtime_error(std::string("Failed to load '") throw std::runtime_error(std::string("Failed to load '")
+ file + "'."); + file + "'.\n" + lt_error);
} }
auto d = std::make_shared<spins_interface>(); auto d = std::make_shared<spins_interface>();
@ -1106,7 +1107,7 @@ namespace spot
&& d->get_type_name && d->get_type_name
&& d->get_type_value_count && d->get_type_value_count
&& d->get_type_value_name)) && d->get_type_value_name))
throw std::runtime_error(std::string("Failed resolve some symbol" throw std::runtime_error(std::string("Failed to resolve some symbol "
"while loading '") + file + "'."); "while loading '") + file + "'.");
if (d->have_property && d->have_property()) if (d->have_property && d->have_property())