-
Leif-Erik Krüger authored
Adapt the existing test suite to the error message changes https://git.ps.informatik.uni-kiel.de/theses/2021/2021-lkrueger-ma/-/issues/11 - No new tests have been added, but the current test suite now passes. - Some changes are due to small changes in the error messages, others correspond to the reworked predicate set reduction.
90167345