source: tests/concurrent/examples/.expect/gortn.txt@ 2d95a2d

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 2d95a2d 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
RevLine 
[97e8d1e]10
22.5
31 2
Note: See TracBrowser for help on using the repository browser.