1 Commits

Author SHA1 Message Date
Gereon Kremer
9dc2d55ce2 Move tests around (#8670)
This PR moves two tests that dealt with particular issues out of unit/api/cpp (which should only have generic unit tests). They are now in unit/theory and api/cpp/.
2022-04-28 18:30:46 +00:00