I would prefer it takes advantages of all processors, assuming the resulting testcase is at least as good as the one obtained using a single CPU execution.
Cheers, Paulo Matos > -----Original Message----- > From: [email protected] [mailto:creduce-dev- > [email protected]] On Behalf Of John Regehr > Sent: 10 July 2012 04:46 > To: [email protected] > Subject: [creduce-dev] serial or parallel? > > This is a random question for C-Reduce users: would you prefer the > default behavior to be to take advantage of all processors, or > should > the default be single-CPU execution? > > John > > > To report this email as spam click > https://www.mailcontrol.com/sr/wQw0zmjPoHdJTZGyOCrrhg== > sEq!MWkRjBMGaiCi44SBpeuTGVZ0xMkRkRGOIQH55a0nEA+RCg== . 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
