Skip to content
Snippets Groups Projects
stu126940@mail.uni-kiel.de's avatar
Benedikt Wetzel authored
Fix confusing naming
Make CR namespaced
Remove execution after deletion

There is currently a small problem, since we can stop the a running benchmark (therefore we have to kill the corresponding thread)
93cd7ab3
History
Name Last commit Last update