Klever

Ilja revealed strange failures when switching off keeping intermediate files - RP could not find "*.aux" files. Indeed, this stems from the fact that Weaver stores and fetches from its cache only resulting files while they can refer to generated "*.aux" files that can be removed after Weaver working directory becomes unnecessary for a corresponding verification task. This does not hurt anybody until option "weave in all aspects" is used for some models since otherwise "*.aux" files are not generated or referred just by the corresponding verification task.

Fixing the issue in a proper way will result in regeneration of models numerous time that is a considerable performance degradation. I would prefer to ignore missed auxiliary files at processing verification results. These files are shown to users very seldom (when another option is set specifically that is not the case by default). Moreover, "*.aux" files do not contain any vital information usually. Anyway, one will be able to have everything by keeping intermediate files.