• Alexandre Duret-Lutz's avatar
    autfilt: add highlighting options for nondeterminism · b6cd54ab
    Alexandre Duret-Lutz authored
    Fixes #123.
    
    * bin/autfilt.cc: Add options --highlight-nondet-states=NUM,
     --highlight-nondet-edges=NUM, and  --highlight-nondet=NUM.
    * spot/twaalgos/isdet.cc,
    spot/twaalgos/isdet.hh (highlight_nondet_states,
    highlight_nondet_edges): New functions.
    * tests/core/det.test: Add test cases.
    * NEWS: Mention them.
    b6cd54ab
det.test 4.93 KB