| florian | ef3dd6c | 2015-03-14 10:15:23 +0000 | [diff] [blame] | 1 | computing fact1(15) |
| 2 | in wrapper1-pre: fact(15) | ||||
| 3 | in wrapper2-pre: fact(14) | ||||
| 4 | in wrapper1-pre: fact(13) | ||||
| 5 | in wrapper2-pre: fact(12) | ||||
| 6 | in wrapper1-pre: fact(11) | ||||
| 7 | in wrapper2-pre: fact(10) | ||||
| 8 | in wrapper1-pre: fact(9) | ||||
| 9 | in wrapper2-pre: fact(8) | ||||
| 10 | in wrapper1-pre: fact(7) | ||||
| 11 | in wrapper2-pre: fact(6) | ||||
| 12 | in wrapper1-pre: fact(5) | ||||
| 13 | in wrapper2-pre: fact(4) | ||||
| 14 | in wrapper1-pre: fact(3) | ||||
| 15 | in wrapper2-pre: fact(2) | ||||
| 16 | in wrapper1-pre: fact(1) | ||||