source: benchmark/c.c@ dd3263c

ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
Last change on this file since dd3263c was 43fa66e, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Fixed benchmark makefiles
  • Property mode set to 100644
File size: 24 bytes
RevLine 
[43fa66e]1int main() { return 0; }
Note: See TracBrowser for help on using the repository browser.