From 36c137fc58d54113fa392bf13501b015dfa3c38c Mon Sep 17 00:00:00 2001
From: Alastair Donaldson <alastair.donaldson@imperial.ac.uk>
Date: Wed, 17 Jul 2024 17:47:45 +0100
Subject: [PATCH] Fix single file expectations.

---
 .../single_file/unsigned_comparisons_with_zero.c.expected | 8 ++++----
 .../unsigned_comparisons_with_zero.c.noopt.expected       | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/test/single_file/unsigned_comparisons_with_zero.c.expected b/test/single_file/unsigned_comparisons_with_zero.c.expected
index 0ee3346d..db1d9ade 100644
--- a/test/single_file/unsigned_comparisons_with_zero.c.expected
+++ b/test/single_file/unsigned_comparisons_with_zero.c.expected
@@ -1,3 +1,7 @@
+#include <stdbool.h>
+
+// Check that optimisations are applied when an unsigned zero literal is used.
+
 #include <inttypes.h>
 #include <stdbool.h>
 #include <stdlib.h>
@@ -141,10 +145,6 @@ static bool __dredd_replace_expr_bool(bool arg, int local_mutation_id) {
   return arg;
 }
 
-#include <stdbool.h>
-
-// Check that optimisations are applied when an unsigned zero literal is used.
-
 bool x_eq_zero(unsigned x) {
   if (!__dredd_enabled_mutation(11)) { return __dredd_replace_expr_bool(__dredd_replace_binary_operator_EQ_arg1_unsigned_int_arg2_unsigned_int_rhs_zero(__dredd_replace_expr_unsigned_int(__dredd_replace_expr_unsigned_int_lvalue(&(x), 0), 2) , __dredd_replace_expr_unsigned_int_zero(0u, 6), 8), 8); }
 }
diff --git a/test/single_file/unsigned_comparisons_with_zero.c.noopt.expected b/test/single_file/unsigned_comparisons_with_zero.c.noopt.expected
index fb72fd3f..fdf1b958 100644
--- a/test/single_file/unsigned_comparisons_with_zero.c.noopt.expected
+++ b/test/single_file/unsigned_comparisons_with_zero.c.noopt.expected
@@ -1,3 +1,7 @@
+#include <stdbool.h>
+
+// Check that optimisations are applied when an unsigned zero literal is used.
+
 #include <inttypes.h>
 #include <stdbool.h>
 #include <stdlib.h>
@@ -147,10 +151,6 @@ static bool __dredd_replace_expr_bool(bool arg, int local_mutation_id) {
   return arg;
 }
 
-#include <stdbool.h>
-
-// Check that optimisations are applied when an unsigned zero literal is used.
-
 bool x_eq_zero(unsigned x) {
   if (!__dredd_enabled_mutation(26)) { return __dredd_replace_expr_bool(__dredd_replace_expr_int(__dredd_replace_binary_operator_EQ_arg1_unsigned_int_arg2_unsigned_int(__dredd_replace_expr_unsigned_int(__dredd_replace_expr_unsigned_int_lvalue(&(x), 0), 2) , __dredd_replace_expr_unsigned_int(0u, 6), 10), 17), 23); }
 }