• Alexandre Duret-Lutz's avatar
    Add support for --check=strength · 3428fb32
    Alexandre Duret-Lutz authored
    * src/twaalgos/strength.cc, src/twaalgos/strength.hh (check_strength):
    New function.
    * src/bin/common_aoutput.cc: Add --check=strength.
    * src/tests/strength.test: New file.
    * src/tests/Makefile.am: Add it.
    * doc/org/hoa.org, NEWS: Document it.
    3428fb32
hoa.org 28.8 KB