Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / test / src / kind_fmcad08 / misc / readme-misc.txt @ 22fe1c93

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.