[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] c++ features


The clever bit with inline testing is having all sorts of dependencies
between the call site and the potentially inlined function that
should/should not effect the behavior of the code.

But Csmith is sort of the opposite of clever. If we've done our job, all
of these possibilities will naturally arise out of random generation.

I did wonder whether it made sense to do this kind of thing with a
general tool like Csmith compared to something tailored to the job.

Derek M. Jones                  tel: +44 (0) 1252 520 667
Knowledge Software Ltd          blog:shape-of-code.coding-guidelines.com
Source code analysis            http://www.knosof.co.uk