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

ltsmin: prefer '\n' for std::cerr

Browse source 
* tests/ltsmin/modelcheck.cc: Here.
This commit is contained in:
Etienne Renault 2019-10-21 15:33:11 +02:00
parent 87afcd2f87
commit b52e941b04
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
tests/ltsmin/modelcheck.cc
View file

@ -339,10 +339,9 @@ static int checked_main()
} }
catch (const std::bad_alloc&) catch (const std::bad_alloc&)
{ {
std::cerr << "Out of memory during emptiness check." std::cerr << "Out of memory during emptiness check.\n";
<< std::endl;
if (!mc_options.compress) if (!mc_options.compress)
std::cerr << "Try option -z for state compression." << std::endl; std::cerr << "Try option -z for state compression.\n";
exit_code = 2; exit_code = 2;
exit(exit_code); exit(exit_code);
} }
@ -374,8 +373,8 @@ static int checked_main()
} }
catch (const std::bad_alloc&) catch (const std::bad_alloc&)
{ {
std::cerr << "Out of memory while looking for counterexample." std::cerr
<< std::endl; << "Out of memory while looking for counterexample.\n";
exit_code = 2; exit_code = 2;
exit(exit_code); exit(exit_code);
} }