[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-dev] CSmith bitfields wreak havoc
You can manually create the file with the following two lines:
integer size = 2
pointer size = 4
or you can run Csmith once, it will create a platform.info for your
generating platform in your working directory. Then you can modify integer
size to match your testing platform, and proceed as usual with
(the first test case needs to be dropped though).
Sorry we don't have a command line option for this feature.
> On 24/08/11 14:21, Xuejun Yang wrote:
> > Hi Paulo,
> > I compiled the program on my 32-bit machine, and it seems fine.
> > When you say " f2 has bit-field width 29 but f2 size is 16", do you
> > mean the integer size is 16? Were you doing cross-testing? If so you
> > modify the file "platform.info" in your working directory.
> Yes, an integer is 16 bits wide. I am cross-testing.
> I didn't know about platform.info. How does it actually work and how
> many options can be specified? Can I specify them on the command line
> Member of the CSR plc group of companies. CSR plc registered in England
> Wales, registered number 4187346, registered office Churchill House,
> Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
> More information can be found at www.csr.com. Follow CSR on Twitter at
> http://twitter.com/CSR_PLC and read our blog at www.csr.com/blog