( ReturnNode ret )
| 234 | } |
| 235 | |
| 236 | private static String exit( ReturnNode ret ) { |
| 237 | return prettyPrint(ret.expr()._type,val(ret.expr())); |
| 238 | } |
| 239 | |
| 240 | // Take a worklist step: one data op from the current Control is updated. |
| 241 | private static void step(Node n, SB trace) { |
no test coverage detected