Re: [csmith-dev] CSmith bitfields wreak havoc

["Xuejun Yang" <jxyang@cs.utah.edu>]

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
cross-testing. 
(the first test case needs to be dropped though).

Sorry we don't have a command line option for this feature.

thanks,
-Xuejun

> 
> 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
actually
> > mean the integer size is 16? Were you doing cross-testing? If so you
need to
> > 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
> instead?
> 
> Cheers,
> 
> --
> PMatos
> 
> 
> Member of the CSR plc group of companies. CSR plc registered in England
and
> 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