Actions
Bug #7270
closedEMG incorretly models deregistration
Start date:
06/03/2016
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
a43c34a
Description
Current implementation of EMG after recent refactoring of automata has incorrect model of signal passing. For example there is a case when deregistration function is called immediately after a registration one EMG still may call a callback.
Found by test suite under development.
Updated by Ilja Zakharov almost 8 years ago
- Priority changed from High to Urgent
Updated by Ilja Zakharov almost 8 years ago
- Status changed from New to Resolved
Implemented and published in emg-improvements.
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Resolved to Closed
- Published in build set to a43c34a
Branch emg-improvements, that brought a plenty of EMG bug fixes, optimizations and extensions, was improved a bit and merged to master in a43c34a.
In the following 4d9aaa6 (also marked with tag 0.1rc3) I did the following:
Switch on by default EMG options that considerably simplifies environment models For instance, to find target and non-target bug on commit e4c7f259c5be CPAchecker needs more than 2 times less CPU time and memory with these options switched on.
Everybody who will update to the latest master will need to install one more Python package pympler.
I will close all other issues fixed/implemented in emg-improvements without any comments.
Actions