Mercurial > hg > Papers > 2020 > soto-midterm
view src/goto.cbc @ 4:35f0e5f12fe6
add verification method
author | soto@cr.ie.u-ryukyu.ac.jp |
---|---|
date | Fri, 11 Sep 2020 02:30:15 +0900 |
parents | 73127e0ab57c |
children |
line wrap: on
line source
__code cs0(int a, int b){ goto cs1(a+b); } __code cs1(int c){ goto cs2(c); }