prrt-0.4.1

schmidt@nt.uni-saarland.de

f463a130 · += rm CMakeCache.txt to run functional tests · Sep 06, 2019

Fix CI for functional tests.