Material for regression testing surely belongs elsewhere, especially if there is a lot of it. Larry > On 2 Jun 2020, at 06:55, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote: > > b) rather technical matter (e.g. testings simprocs etc.) and idea sketches