Actions
Bug #9820
closedNondeterministic environment model
Start date:
09/16/2019
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Environment model is constructed nondeterministically: the same scenario functions may have different identifiers (ldv_platform_instance_12 / ldv_platform_instance_11) and the internal variables also may have different identifiers (struct ldv_struct_interrupt_scenario_12 *cf_arg_12 / struct ldv_struct_interrupt_scenario_13 *cf_arg_13). After manual comparison of the files we found that no function is missed, they are just reordered.
I attached two model files, which are generated with the same settings and the same Klever versions.
Files
Updated by Evgeny Novikov about 4 years ago
- Priority changed from Normal to Urgent
- Target version set to 3.0
As far as I understand, Ilja has fixed this issue, isn't it?
Updated by Evgeny Novikov about 4 years ago
- Status changed from Resolved to Closed
In master already.
Actions