Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Unbelievably, this was using the size of the compiled prog *and* the heap memory used by the cache to compute the total memory used by the cache. The effect of this is that the reported size might be much bigger than what is actually used by the cache. This in turn would result in the lazy DFA thrashing the cache and going quite slow.
- Loading branch information