| # This is a generated file. | |
| # Full coverage: 100%, with partial coverage: 100% | |
| 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🌕 |