Re: Seeing "check: exceeded time limit in ..." and need to resolve it

[Philip Prindeville]

> On Nov 15, 2021, at 5:06 PM, Greg Troxel <g...@lexort.com> wrote:
> 
> 
> Philip Prindeville <philipp_s...@redfish-solutions.com> writes:
> 
>> Ah, the rule _eval_tests_type11_pri0_set1() took 4:20.
>> 
>> Why can't I even find the rule?
> 
> That looks very familiar.  I was having timeouts, and saw that in the
> logs, on certain messages.  I ended up nuking and rebuilding my TXREP
> database and then things were  ok.
> 
> That doesn't explain why we can't find the rule, which is a good
> question.
> 


Where is the TXREP database?

Also, is it possible that the name is generated through some sort of mangling, 
the way that C function names can be generated from macro expansions, etc?