• Akim Demaille's avatar
    are-equivalent: use realtime · 324b5a8a
    Akim Demaille authored
    * vcsn/algos/are-equivalent.hh: Here.
    * doc/notebooks/automaton.is_equivalent.ipynb: Update.
    * tests/bin/test.py (CHECK_EQUIV): No longer call normalize.
    (normalize): Use realtime instead of proper().
    * tests/python/efsm.py (check): Use normalize: we have a case
    where we compare lan x lan against lal x lal, and since we
    don't have synchronize yet, it fails.