source: tests/concurrent/pthread/.expect/bounded_buffer.x64.txt@ b1ad41f

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

change printing format in PRNG, update .expect for tests using PRNG
  • Property mode set to 100644
File size: 60 bytes
Line 
1producer total value is 44280
2consumer total value is 44280
Note: See TracBrowser for help on using the repository browser.