Alessandro Di Federico 30c127267c Improve ModelToHeader and HeaderToModel tests ...

* Fix non-PrimitiveTypes with low IDs.
* Ensure we use `revng model compare` to test the model.
* Updates the name to reflect the recent changes in naming convention
  and in the way we represent `model::Type::ID`s.

2023-08-23 16:37:39 +02:00

..

unit

Improve ModelToHeader and HeaderToModel tests

2023-08-23 16:37:39 +02:00

CMakeLists.txt

Simplify CMake

2022-06-21 10:35:45 +02:00