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

* src/ltltest/equals.cc: Fix style.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-05-15 21:24:38 +02:00
parent 05ed3def00
commit 7bcf655350
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ltltest/equals.cc
View file

@ -116,7 +116,7 @@ main(int argc, char** argv)
if (!simp.are_equivalent(f1, tmp)) if (!simp.are_equivalent(f1, tmp))
{ {
std::cerr << "Source and simplified formulae are not equivalent!\n"; std::cerr << "Source and simplified formulae are not equivalent!\n";
std::cerr << "Simplified: " << spot::ltl::to_string(f1) << "\n"; std::cerr << "Simplified: " << spot::ltl::to_string(f1) << '\n';
exit_code = 1; exit_code = 1;
} }
@ -136,7 +136,7 @@ main(int argc, char** argv)
if (!simp.are_equivalent(f1, tmp)) if (!simp.are_equivalent(f1, tmp))
{ {
std::cerr << "Source and simplified formulae are not equivalent!\n"; std::cerr << "Source and simplified formulae are not equivalent!\n";
std::cerr << "Simplified: " << spot::ltl::to_string(f1) << "\n"; std::cerr << "Simplified: " << spot::ltl::to_string(f1) << '\n';
exit_code = 1; exit_code = 1;
} }
@ -156,7 +156,7 @@ main(int argc, char** argv)
if (!simp.are_equivalent(f1, tmp)) if (!simp.are_equivalent(f1, tmp))
{ {
std::cerr << "Source and simplified formulae are not equivalent!\n"; std::cerr << "Source and simplified formulae are not equivalent!\n";
std::cerr << "Simplified: " << spot::ltl::to_string(f1) << "\n"; std::cerr << "Simplified: " << spot::ltl::to_string(f1) << '\n';
exit_code = 1; exit_code = 1;
} }