[Spot] Bug Report

Oscar Chang oscar.chang at stcatz.ox.ac.uk
Wed Aug 5 19:31:51 CEST 2015


If you enter (FGa)||(FGb) and tick the option for the degeneralized buchi automaton, it still gives a generalised one.


More information about the Spot mailing list