Move concretization tests to the same folder (#47539)

* Move concretization tests to the same folder

Signed-off-by: Massimiliano Culpo <massimiliano.culpo@gmail.com>

* Fix for clingo-cffi

---------

Signed-off-by: Massimiliano Culpo <massimiliano.culpo@gmail.com>
This commit is contained in:
Massimiliano Culpo
2024-11-11 19:01:24 +01:00
committed by GitHub
parent 3b423a67a2
commit 4eb7b998e8
7 changed files with 1 additions and 1 deletions