-
* src/tests/safra.cc: Output error message for wrong ltl formula. * src/twaalgos/safra.cc: Default comparision of vector does not correspond to the desired comparision.
ebe03cf3
* src/tests/safra.cc: Output error message for wrong ltl formula. * src/twaalgos/safra.cc: Default comparision of vector does not correspond to the desired comparision.