lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / misc / readme-misc.txt @ 8aaf9f57
History | View | Annotate | Download (629 Bytes)
| 1 |
Sources for benchmarks: |
|---|---|
| 2 |
|
| 3 |
durationThm*: based on problems by Bertrand Jeannet (courtesy Anders Franzen) |
| 4 |
|
| 5 |
switch*: based on problems from |
| 6 |
N. Halbwachs, P Raymond "A Tutorial of Lustre", 2002 |
| 7 |
|
| 8 |
ticket3i*: based on problems by David Merchant* (courtesy Anders Franzen) |
| 9 |
|
| 10 |
traffic*: based on problems by Koen Classen (courtesy Anders Franzen) |
| 11 |
|
| 12 |
_6counter*, ex*, stalmark*, twisted_counters.lus, two_counters*: based on |
| 13 |
problems by George Hagen |
| 14 |
|
| 15 |
|
| 16 |
Please note that many of these benchmarks contain deliberately introduced |
| 17 |
modifications to alter their behaviors, and do not necessarily reflect the |
| 18 |
original creator's design intentions. |