stv0g/Criterion
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Added 0x prefix for pointer parameters in theories

Browse source
This commit is contained in:
Snaipe 2015-09-04 15:53:25 +02:00
parent e1e332e38b
commit eff36eea2d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/theories.c
View file

@ -154,7 +154,7 @@ static void format_arg(char (*arg)[1024], struct criterion_datapoints *dp, void
const char *fmt = is_unsigned_int(dp->name) ? "%llu" : "%lld";
snprintf(*arg, sizeof (*arg) - 1, fmt, *(long long*) data);
} else if (dp->size == sizeof (void*)) {
snprintf(*arg, sizeof (*arg) - 1, "%p", *(void**) data);
snprintf(*arg, sizeof (*arg) - 1, "0x%p", *(void**) data);
} else {
snprintf(*arg, sizeof (*arg) - 1, "%s", "<np>");
}