Equivalence Cache

To avoid executing the equiv.tcl script over and over for each tool invocation, the results of the evaluation are stored in the subdirectory equiv.caches in the server configuration directory, one for each host. The caches are recomputed automatically when the equivalence file changes.

To force a refresh of the caches, use one of the following methods:

Restart all taskers using
```
% vovtaskermgr restart
```
Use the option -r in vovequiv, to refresh the cache on the current host:
```
% vovequiv -r
```

Use the option -rs in vovequiv, to refresh the cache and show the result:

% vovequiv -rs
Directory of equiv files: .
Executable equiv file:    /Users/john/projects/mac81/vovadmin/mac81.swd/equiv.tcl
Cached     equiv file:    /Users/john/projects/mac81/vovadmin/mac81.swd/equiv.caches/mac05
* VOVDIR          -> /Users/john/rtda/2015.09/macosx
VOVDIR          -> /Users/john/rtda/2015.09/common
* BUILD_TOP       -> /Users/john/projects/mac81
* HOME            -> /Users/john