source: src/Clight/test/io2.c @ 2278

Last change on this file since 2278 was 20, checked in by campbell, 10 years ago

Add resumption monad based version of the executable semantics with simple I/O.

File size: 91 bytes
Line 
1int dosomething(int);
2
3int main(void) {
4  int i = 2;
5  i += dosomething(10);
6  return i;
7}
Note: See TracBrowser for help on using the repository browser.