-
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
* 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.