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

ADT ast-experimental
Last change on this file since bb7422a 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
Line 
1producer total value is 1770
2consumer total value is 1770
Note: See TracBrowser for help on using the repository browser.