Commit Graph

3 Commits

Author SHA1 Message Date
Alessandro Di Federico 0c212b66d9 Relicense to MIT 2024-02-29 17:03:36 +01:00
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
Djordje Todorovic 9d94216dc5 ModelToHeader: Add testing infrastructure
Test structs, unions and primitive types.
Also add tests for inline types.
2023-05-03 13:13:28 +02:00