Skip to content

Commit

Permalink
Fix single file expectations.
Browse files Browse the repository at this point in the history
  • Loading branch information
afd committed Jul 17, 2024
1 parent 407e34e commit 36c137f
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 8 deletions.
8 changes: 4 additions & 4 deletions test/single_file/unsigned_comparisons_with_zero.c.expected
Original file line number Diff line number Diff line change
@@ -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>
Expand Down Expand Up @@ -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); }
}
Expand Down
Original file line number Diff line number Diff line change
@@ -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>
Expand Down Expand Up @@ -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); }
}
Expand Down

0 comments on commit 36c137f

Please sign in to comment.