tree 5ebecca385605ba48579153f216ad391c287cd30
parent 21662fb490ef2c370572a803f4304a18bc2a7bbc
author Shawn Pearce <sop@google.com> 1426129838 -0700
committer Shawn Pearce <sop@google.com> 1426203443 -0700

Apply reduction limit during evaluation

Caps the amount of virtual CPU time that a single goal
can consume during all searches for solutions. Each
reduction is one predicate invocation or alternate tried.

Change-Id: If3d41c14b9dd5330afe30f5a9ba502e2582c2e83