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

ADT ast-experimental
Last change on this file since 0922716 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.