Add definitions for UC1, UC2, UC3, UC4
Compare changes
Files
11- Benedikt Wetzel authored
Merge branch '195-add-benchmark-definitions' of git.se.informatik.uni-kiel.de:wetzel/spesb into 195-add-benchmark-definitions
Merge branch '195-add-benchmark-definitions' of git.se.informatik.uni-kiel.de:wetzel/spesb into 195-add-benchmark-definitions