Skip to content

Commit

Permalink
Merge pull request diffblue#8370 from tautschnig/endianness-tests
Browse files Browse the repository at this point in the history
Regression test: support big and little endian
  • Loading branch information
kroening authored Jul 11, 2024
2 parents 8ccc168 + ec2239c commit 629dbcd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion regression/cbmc-incr-smt2/unions/padded.desc
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ padded.c
--trace
Passing problem to incremental SMT2 solving
\[main\.assertion\.1\] line 13 assertion my_union\.a \=\= 5\: FAILURE
my_union\=\{ \.a\=\d+ \} \(\d{8} 00000101\)
my_union\=\{ \.a\=\d+ \} \((\d{8} 00000101|00000101 \d{8})\)
^EXIT=10$
^SIGNAL=0$
--
Expand Down

0 comments on commit 629dbcd

Please sign in to comment.