Project

General

Profile

Bug #10476

Distinguish models by their absolute paths rather than their contents

Added by Evgeny Novikov 5 months ago. Updated 5 months ago.

Status:
Closed
Priority:
Immediate
Category:
Tasks generation
Target version:
Start date:
08/27/2020
Due date:
% Done:

0%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

At the moment Weaver caches results obtained for models using checksums calculated on the base of their contents. Surprisingly, contents of different models can be the same. For instance, Pavel Andrianov reported such the case: both of his models are actually empty (there is just the same copyright notice).

It seems that it will be enough to distinguish different models just by their absolute paths that are unique during the whole verification job solution.

History

#1

Updated by Evgeny Novikov 5 months ago

  • Status changed from New to Closed

I fixed the issue in 8c152977a in master. Tests passed.

Also available in: Atom PDF