• Alexandre Duret-Lutz's avatar
    Enable -Wmissing-declarations in development mode. · 20365e53
    Alexandre Duret-Lutz authored
    * m4/gccwarn.m4: Add -Wmissing-declarations.
    * iface/ltsmin/ltsmin.cc, iface/ltsmin/modelcheck.cc,
    src/bin/common_trans.cc, src/bin/genltl.cc, src/bin/ltlgrind.cc,
    src/tests/acc.cc, src/tests/bitvect.cc, src/tests/checkpsl.cc,
    src/tests/checkta.cc, src/tests/complementation.cc,
    src/tests/consterm.cc, src/tests/emptchk.cc, src/tests/equalsf.cc,
    src/tests/graph.cc, src/tests/ikwiad.cc, src/tests/intvcmp2.cc,
    src/tests/intvcomp.cc, src/tests/kind.cc, src/tests/length.cc,
    src/tests/ltlprod.cc, src/tests/ltlrel.cc, src/tests/ngraph.cc,
    src/tests/randtgba.cc, src/tests/readltl.cc, src/tests/reduc.cc,
    src/tests/syntimpl.cc, src/tests/tostring.cc, src/tests/twagraph.cc,
    src/tl/contain.cc, src/twaalgos/dtgbacomp.cc, src/twaalgos/minimize.cc:
    Add "static" and move in anonymous namespace when appropriate.
    20365e53
modelcheck.cc 8.69 KB