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

ltsmin: catch exceptions by reference

Browse source 
* spot/ltsmin/ltsmin.cc, tests/ltsmin/modelcheck.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-06-20 16:09:56 +02:00
parent 05abed6d2f
commit 0a21a4c87e
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/ltsmin/ltsmin.cc
View file

@ -1112,7 +1112,7 @@ namespace spot
{
convert_aps(to_observe, iface, dict, dead, *ps);
}
catch (std::runtime_error)
catch (const std::runtime_error&)
{
delete ps;
dict->unregister_all_my_variables(iface.get());

6
tests/ltsmin/modelcheck.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de
// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016, 2017 Laboratoire de
// Recherche et Developpement de l'Epita (LRDE)
//
// This file is part of Spot, a model checking library.
@ -282,7 +282,7 @@ checked_main(int argc, char **argv)
{
res = ec->check();
}
catch (std::bad_alloc)
catch (const std::bad_alloc&)
{
std::cerr << "Out of memory during emptiness check."
<< std::endl;
@ -326,7 +326,7 @@ checked_main(int argc, char **argv)
{
run = res->accepting_run();
}
catch (std::bad_alloc)
catch (const std::bad_alloc&)
{
std::cerr << "Out of memory while looking for counterexample."
<< std::endl;