Pietro Fezzardi 19d43cde1d Partially re-enable end-to-end tests ...

End-to-end tests were disabled due to a bug in ModelToHeader that caused
the decompiled C header with the types not to be recompilable in some
cases.

However, the commit that disabled the tests was too aggressive, because
the only part that needed to be disabled was the part of the tests that
actually recompiled the C code.

This commit re-enables the end-to-end tests except for the recompilation
part, that will be re-enabled after the bug in ModelToHeader is fixed.

2024-07-04 02:56:31 +02:00

..

revng-check-decompiled-c

Partially re-enable end-to-end tests

2024-07-04 02:56:31 +02:00