Skip to content
Snippets Groups Projects
Commit f049a88f authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov Committed by Julien Signoles
Browse files

[RTL] Updated format for memory address output

parent 0fd61d31
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
+ 1
− 1
View file @ f049a88f
...@@ -190,7 +190,7 @@ static void bits2a(long int v, int size, char *bf, int l2r) { ...@@ -190,7 +190,7 @@ static void bits2a(long int v, int size, char *bf, int l2r) {
if (l2r) { if (l2r) {
for(i = 0; i < size; i++) { for(i = 0; i < size; i++) {
*bf++ = '0' + ((v >> i) & 1); *bf++ = '0' + ((v >> i) & 1);
if (i && i+1 < size && (i+1)%4 == 0) if (i && i+1 < size && (i+1)%8 == 0)
*bf++ = ' '; *bf++ = ' ';
} }
} else { } else {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment