• Alexandre Duret-Lutz's avatar
    gen: rename KS_COBUCHI to KS_NCA for consistency · e7df182a
    Alexandre Duret-Lutz authored
    * spot/gen/automata.cc, spot/gen/automata.hh, bin/genaut.cc: Rename
    the enum, function, and command-line option.
    * tests/core/genaut.test, tests/python/gen.ipynb, tests/python/gen.py:
    Adjust test cases.
    * doc/org/genaut.org: Adjust doc.
    e7df182a
automata.cc 6.89 KB