Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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.