Actions
Bug #8447
closedTest race.c for sync:race fails
Start date:
09/20/2017
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
I suggest that this happens because of EMG doesn't generate pattern-based environment models by default any more. You need to use specified interfaces, e.g. file operations.
Updated by Evgeny Novikov about 7 years ago
Indeed, the safe test is also incorrect since it relies upon non-standard patterns from EMG.
Updated by Evgeny Novikov about 7 years ago
- Status changed from New to Resolved
- Assignee changed from Pavel Andrianov to Evgeny Novikov
I fixed both test cases in branch tests. In particular, after fixing the unsafe test case it became the same as another one, so I completely removed it.
Updated by Evgeny Novikov about 7 years ago
- Status changed from Resolved to Closed
I merged branch tests to master in f96d83aa.
Actions