Project

General

Profile

Actions
Copy link

Bug #8544

closed

Loosing verification objects for external modules

Added by Evgeny Novikov over 6 years ago. Updated about 4 years ago.

Status:
Rejected
Priority:
High
Assignee:
-
Category:
Program fragments generation
Target version:
-
Start date:
11/03/2017
Due date:
% Done:

0%

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

Description

I noticed that in branch tests for jobs/presets/testing common models/tests/verifier/set LKVOG produces 3 times less verification objects than expected. Moreover, it seems, that results are nondeterministic.

Actions
Copy link

Also available in: Atom PDF