| # This is a generated file. | |
| # Full coverage: 71%, with partial coverage: 71% | |
| state_change_a_Chicken🌑 check_a_Chicken🌑 | |
| state_change_a_Chicken🌑 check_b_Chicken_Green🌑 | |
| state_change_b_Chicken_Green🌕 check_a_Chicken🌕 | |
| state_change_b_Chicken_Green🌕 check_b_Chicken_Green🌕 | |
| state_change_a_Dog🌕 check_b_Dog_Red🌕 | |
| state_change_a_Dog🌕 check_a_Chicken🌕 | |
| state_change_a_Dog🌕 check_a_Dog🌕 |