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. |