You forgot, is it?

If concolic testing fails to cover some test goals, then the model checker refines its program abstraction to prove more paths infeasible, which reduces the search space for concolic testing.

As she had a free moment, she dropped her a text.

Walk through everything that would go into the waking hours of blissdom for you.