bullseye and cover runs automatically if wdgm_statem is compiled with those option