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

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since bcd74f3 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.