lustrec/test/src/kind_fmcad08/protocol/readme-protocol.txt @ c518d082
| 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. |