search

silentbicycle / theft

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input
ISC License
611 stars 31 forks source link

Build on AIX problem #3

Closed SharplEr closed 8 years ago

SharplEr commented 8 years ago

I try to build your code in AIX with GNU Make and GCC. So in AIX we have file type.h with the line:

typedef uint_t uint

And this leads to name conflict with your test_theft.c. I just renamd your "uint" to "uint_val" and it worked. So i mean will be better to rename "uint" to some more specific. I am reading your code about 1 minute and afraid to offer a specific name.

silentbicycle commented 8 years ago

That's good to know. I will rename the identifier so it's not an issue.

Thanks for reporting.