• Alexandre Duret-Lutz's avatar
    forbid the use of std::endl on std::cerr · 09c93a3a
    Alexandre Duret-Lutz authored
    std::cerr will flush after each operator<< by default, so it's simpler
    to use \n instead of std::endl, especially if we can merge \n into the
    previous string.  Ideally we should prefer \n for std::cout as well,
    but there are reasonable cases where we want to call std::endl there,
    so it's hard to enforce.
    
    * tests/sanity/style.test: Diagnose occurrences of cerr.*<<.*endl.
    * bin/autcross.cc, bin/autfilt.cc, bin/ltlcross.cc, bin/ltlsynt.cc,
    spot/tl/formula.cc, spot/twa/bdddict.cc, tests/core/checkpsl.cc,
    tests/core/checkta.cc, tests/core/consterm.cc, tests/core/emptchk.cc,
    tests/core/equalsf.cc, tests/core/ikwiad.cc, tests/core/kind.cc,
    tests/core/length.cc, tests/core/ltlrel.cc, tests/core/parity.cc,
    tests/core/randtgba.cc, tests/core/reduc.cc, tests/core/syntimpl.cc,
    tests/ltsmin/modelcheck.cc: Fix them.
    09c93a3a
Name
Last commit
Last update
..
.gitignore Loading commit data...
Makefile.am Loading commit data...
apcollect.cc Loading commit data...
apcollect.hh Loading commit data...
contain.cc Loading commit data...
contain.hh Loading commit data...
declenv.cc Loading commit data...
declenv.hh Loading commit data...
defaultenv.cc Loading commit data...
defaultenv.hh Loading commit data...
dot.cc Loading commit data...
dot.hh Loading commit data...
environment.hh Loading commit data...
exclusive.cc Loading commit data...
exclusive.hh Loading commit data...
formula.cc Loading commit data...
formula.hh Loading commit data...
hierarchy.cc Loading commit data...
hierarchy.hh Loading commit data...
length.cc Loading commit data...
length.hh Loading commit data...
ltlf.cc Loading commit data...
ltlf.hh Loading commit data...
mark.cc Loading commit data...
mark.hh Loading commit data...
mutation.cc Loading commit data...
mutation.hh Loading commit data...
nenoform.cc Loading commit data...
nenoform.hh Loading commit data...
parse.hh Loading commit data...
print.cc Loading commit data...
print.hh Loading commit data...
randomltl.cc Loading commit data...
randomltl.hh Loading commit data...
relabel.cc Loading commit data...
relabel.hh Loading commit data...
remove_x.cc Loading commit data...
remove_x.hh Loading commit data...
simplify.cc Loading commit data...
simplify.hh Loading commit data...
snf.cc Loading commit data...
snf.hh Loading commit data...
unabbrev.cc Loading commit data...
unabbrev.hh Loading commit data...