lustrec / test / src / kind_fmcad08 / protocol / readme-protocol.txt @ 22fe1c93
History | View | Annotate | Download (329 Bytes)
| 1 |
Sources for benchmarks: |
|---|---|
| 2 |
|
| 3 |
peterson*, readwrite.lus, rtp*, swimmingpool*: based on problems by David |
| 4 |
Merchant (courtsey of Anders Franzen) |
| 5 |
|
| 6 |
|
| 7 |
Please note that many of these benchmarks contain deliberately introduced |
| 8 |
modifications to alter their behaviors, and do not necessarily reflect the |
| 9 |
original creator's design intentions. |