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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
