source: tests/concurrent/pthread/.expect/bounded_buffer.x86.txt@ e2887a9

ADT ast-experimental stuck-waitfor-destruct
Last change on this file since e2887a9 was 1205b3e, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago

update 32-bit tests after change to PRNG
  • Property mode set to 100644
File size: 58 bytes
RevLine 
[1205b3e]1producer total value is 1770
2consumer total value is 1770
Note: See TracBrowser for help on using the repository browser.