Eric Rizzi

Hey Daniel, Sorry for the poor coding, I'm a bit of a C++ newb. This new version I just pushed is much more closely based on the CachingSolver so hopefully...

The test case actually already exists. (There actually seems to be a lot test cases that miss in the CacheSolver and then hit in the lookup part of CexCachignSolver) I...

1) I'm not sure that it's possible to write a test case. The quick cache is only designed to superscede the slower UBTree super/subset operations that would otherwise often be...

I made a mistake in my previous reporting of the data. I accidentally compared the instruction coverage numbers of the new QuickCache with the coverage numbers of an uncorrected version...

Just as an update, I ran "search=dfs" up to 750 forks and "search=default" up to 1500 forks with the "debug-validate-solver" flag enabled. All 11 programs acted as they normally would,...

Do you know if there is any plan to start this in the next few months? It seems it would be extremely helpful for unlocking some key features for understanding...