(s: EndpointController0<i32>, loops: i32)
| 110 | } |
| 111 | |
| 112 | fn recurs_0_controller(s: EndpointController0<i32>, loops: i32) -> Result<(), Box<dyn Error>> { |
| 113 | offer_mpst!(s, recv_controller_from_logs, { |
| 114 | Branching0fromLtoC::Success(s) => { |
| 115 | |
| 116 | let (_, s) = recv_controller_from_logs(s)?; |
| 117 | |
| 118 | recurs_0_controller(s, loops) |
| 119 | }, |
| 120 | Branching0fromLtoC::Failure(s) => { |
| 121 | |
| 122 | let (_, s) = recv_controller_from_logs(s)?; |
| 123 | |
| 124 | recurs_1_controller(s, loops) |
| 125 | }, |
| 126 | }) |
| 127 | } |
| 128 | |
| 129 | fn recurs_1_controller(s: EndpointController1<i32>, loops: i32) -> Result<(), Box<dyn Error>> { |
| 130 | match loops { |
no outgoing calls
no test coverage detected