Giacomo Vercesi 2a5c58791d Port tests to the new pypeline ...

Port as many tests as possible to use the `revng2`.

2026-03-05 14:23:06 +01:00

..

four-functions.S.add-segment-customname.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

four-functions.S.add-segment-customname.pre-patch.yml

Introduce tests for invalidation

2024-06-25 09:50:38 +02:00

four-functions.S.change-segment-filesize.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

four-functions.S.change-segment-filesize.pre-patch.yml

Introduce tests for invalidation

2024-06-25 09:50:38 +02:00

four-functions.S.empty.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

four-functions.S.empty.pre-patch.yml

Model: sunset double name system

2025-04-17 11:19:17 +03:00

four-functions.S.remove-preserved-register-to-called.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

four-functions.S.remove-preserved-register-to-called.pre-patch.yml

Introduce tests for invalidation

2024-06-25 09:50:38 +02:00

four-functions.S.remove-preserved-register-to-uncalled.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

four-functions.S.remove-preserved-register-to-uncalled.pre-patch.yml

Introduce tests for invalidation

2024-06-25 09:50:38 +02:00

three-jump-targets.S.mark-jump-target.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

three-jump-targets.S.mark-jump-target.pre-patch.yml

importBinary: fix error handling

2024-11-12 18:05:48 +01:00

three-jump-targets.S.mark-non-jump-target.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

three-jump-targets.S.mark-non-jump-target.pre-patch.yml

Introduce tests for invalidation

2024-06-25 09:50:38 +02:00

three-jump-targets.S.remove-jump-target.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

three-jump-targets.S.remove-jump-target.pre-patch.yml

importBinary: fix error handling

2024-11-12 18:05:48 +01:00

three-jump-targets.S.remove-non-jump-target.filecheck

Port tests to the new pypeline

2026-03-05 14:23:06 +01:00

three-jump-targets.S.remove-non-jump-target.pre-patch.yml

Introduce tests for invalidation

2024-06-25 09:50:38 +02:00