source: tests/concurrent/examples/.expect/gortn.txt@ b8b0de0c

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since b8b0de0c was 97e8d1e, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

add example to compare waitfor and go channels
  • Property mode set to 100644
File size: 10 bytes
Line 
10
22.5
31 2
Note: See TracBrowser for help on using the repository browser.