Benchmark heap af transitionsystem før og efter

[KiraStaehr]

Psykopat test case: component sat sammen med sig selv et givet antal gange
Brug cargo bench

• Lav psykopat test case
• benchmark: clock reduce
• benchmark: without clock reduce
• Sætte sig ind i cargo bench
• Opsætning af cargo bench
• Få psykopat case til at køre med cargo bench
• Kør med og uden clock reduction

[Laursen79]

Estimeret til 8, brugt ca. 30
nyt estimat 13

[alexsteffensen]

Måske find ud af hvor mange states der bliver genereret