search

tthtlc / crest

Automatically exported from code.google.com/p/crest
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Allow run_crest to be seeded with existing test inputs #1

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 

It should be possible for CREST to use existing test inputs as a starting
point for generating new tests.

As a simple example, it would be nice to be able to initialize a single,
local search at a specific input.  Something like:
    run_crest PROGRAM 1000 -cfg -init_input=test.42

Original issue reported on code.google.com by jbur...@gmail.com on 20 May 2008 at 7:41

GoogleCodeExporter commented 9 years ago 
Hi,
   have you resolved this problem?
   Could CREST use existing test input ( or Custom initial value of  symbolic value) as a starting point for generating new tests?

    If you have some good solution to solve the problem, I  looking forward for your reply.

   thanks!

Original comment by liuch9...@163.com on 19 Jul 2013 at 8:56