[klee-dev] [klee] [zesti] ZESTI Coreutils Experiments

[Jonathan Neuschäfer]

On Tue, Jun 25, 2013 at 05:52:36PM +0400, Anton Vasilyev wrote:
[...]
> This is done by ZESTI provided script at
> http://srg.doc.ic.ac.uk/projects/zesti/coreutils.html for "setup the
> wrapper for a particular program and run the tests" by following lines:
> 
>   if [ -x /bin/$fsimple ]; then
>     ln -s /bin/$fsimple
>   elif [ -x /usr/bin/$fsimple ]; then
>     ln -s /usr/bin/$fsimple

I missed that, sorry.

> Probably regression tests invoke not only application under testing (as
> "cut" in example) but also other coreutils binaries.
> In this case it is strange to link system package instead of compile
> coreutils-6.11 with native gcc at separate location and link these binaries
> to zesti testing directory.

I'd guess it is done this way, because the system binaries are simply
assumed to work correctly (enough), so that recompiling them would not
help, but just waste CPU time.


--
Jonathan Neuschäfer