Actions
Feature #6746
closedThink on intermediate results reusing
Status:
Rejected
Priority:
Low
Assignee:
-
Category:
*Abstract tasks generation
Target version:
-
Start date:
02/03/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
It looks like sometimes reusing of intermediate results can speed up the whole verification process. But I think that techniques like multi-aspect verification (#6692) makes this reusing almost useless taking into account that this feature implementation is quite hard and error prone.
I relate this issue with AVTG since it can be the most noticeable there while other Core components also can benefit from it somehow.
Actions