• Thomas Medioni's avatar
    sum: Fix universal initial state bug · cebc4b00
    Thomas Medioni authored
    * spot/twaalgos/sum.cc: Fix the sum of automatas having universal
      initial transitions.
    * tests/core/explsum.test: Add test case testing the handling of
      universal initial transitions in sum.
    cebc4b00