diff --git a/share/revng/test/configuration/revng-qa/for-floating-point.yml b/share/revng/test/configuration/revng-qa/for-floating-point-helpers-inlining.yml similarity index 89% rename from share/revng/test/configuration/revng-qa/for-floating-point.yml rename to share/revng/test/configuration/revng-qa/for-floating-point-helpers-inlining.yml index 6e3f2e3..6fffc5c 100644 --- a/share/revng/test/configuration/revng-qa/for-floating-point.yml +++ b/share/revng/test/configuration/revng-qa/for-floating-point-helpers-inlining.yml @@ -3,7 +3,7 @@ # tags: - - name: for-floating-point + - name: for-floating-point-helpers-inlining # We force VFPv3 with hardfloat calling convention on armv7a, in order to # avoid the toolchain emitting calls to the libgcc helpers for double @@ -15,7 +15,7 @@ tags: - -mfloat-abi=hard sources: - - tags: [simple-executable, static, nostdlib, nostartfiles, for-floating-point] + - tags: [simple-executable, static, nostdlib, nostartfiles, for-floating-point-helpers-inlining] repeat-for: - [arm, arm-double-vfp] - [mips]