Skip to content
  • Alexandre Duret-Lutz's avatar
    simulation: fix commit 8959eaba · 4bb4aeb3
    Alexandre Duret-Lutz authored
    * spot/twaalgos/simulation.cc: Restrict common_in marks to current SCC
    when pushing them, otherwise weak automata might become inherently
    weak.
    * tests/core/sim3.test: Add test case.
    4bb4aeb3