tree e129e5fa32af93362083a52eb7c1295f60022054
parent f77747863f9dbb17c5e8a0f297ec719dbefe5574
author Daniel Strüber <strueber@mathematik.uni-marburg.de> 1593163352 +0200
committer Daniel Strüber <strueber@mathematik.uni-marburg.de> 1593163352 +0200

Deal with problematic new test cases for CompactAPI (1)

Change-Id: If028fd0c1947ec837181458da9908a2452fa86f0