Skip to content

cxx/sat/fsm: only log transition of it has been found

Simon Spannagel requested to merge p-improve-fsm-log into main

...such a tiny thing I take the freedom to approve and merge.

Merge request reports