| # This is a generated file. |
| # Full coverage: 70%, with partial coverage: 70% |
| 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_Chicken🌕 state_change_b_Chicken_Red🌑 check_a_Chicken🌑 |
| state_change_a_Dog🌕 state_change_a_Chicken🌕 check_b_Chicken_Green🌕 |
| state_change_a_Dog🌕 check_a_Chicken🌕 |
| state_change_a_Dog🌕 check_a_Dog🌕 |
