Skip to content

reduce_mealy_here: do not reduce when size is 1

Philipp Schlehuber requested to merge psc/splitnew into next
  • spot/twaalgos/mealy_machine.cc: here

Merge request reports