rgrig/topl — Issue #13: approximation
Author: rgrig
Created: 2012-03-01 17:29:54+00:00
State: open

The Checker should have

* an upper limit on how many active states it tracks, and
* policies on which active state to drop.

We discussed two policies:

* drop a random state
* drop the last recently used state, where "used" means "inserted in the set of active states"