Bug #8447
closed
Test race.c for sync:race fails
Added by Evgeny Novikov over 6 years ago.
Updated over 6 years ago.
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.
Indeed, the safe test is also incorrect since it relies upon non-standard patterns from EMG.
- 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.
- Status changed from Resolved to Closed
I merged branch tests to master in f96d83aa.
Also available in: Atom
PDF